module Unit where 

type Unit = ()
unit = ()