@@ -21,7 +21,7 @@ module Prelude
21 , BoolLike, (&&), (||)
21 , BoolLike, (&&), (||)
23 , Semigroup, (<>), (++)
23 , Semigroup, (<>), (++)
24− , Unit(..)
24+ , Unit(..), unit
27 flip :: forall a b c. (a -> b -> c) -> b -> a -> c
27 flip :: forall a b c. (a -> b -> c) -> b -> a -> c
@@ -213,6 +213,9 @@ module Prelude
214 data Unit = Unit {}
214 data Unit = Unit {}
216+ unit :: forall a. a -> Unit
217+ unit = const (Unit {})
216 infix 4 ==
219 infix 4 ==
217 infix 4 /=
220 infix 4 /=