module Data.Unit (
  Unit
, unit
) where

type Unit = ()

unit :: Unit
unit = ()