@@ -21,7 +21,7 @@ module Prelude
2121 , BoolLike, (&&), (||)
2222 , not
2323 , Semigroup, (<>), (++)
24− , Unit(..)
24+ , Unit(..), unit
2525 ) where
2626
2727 flip :: forall a b c. (a -> b -> c) -> b -> a -> c
@@ -213,6 +213,9 @@ module Prelude
213213
214214 data Unit = Unit {}
215215
216+ unit :: forall a. a -> Unit
217+ unit = const (Unit {})
218+
216219 infix 4 ==
217220 infix 4 /=
218221