module
Data
.
Unit
(
Unit
,
unit
)
where
type
Unit
=
()
unit
::
Unit
unit
=
()