@@ -7,7 +7,7 @@ module Prelude
8 , (:), cons
8 , (:), cons
9 , Show, show
9 , Show, show
10− , Functor, (<$>)
10+ , Functor, (<$>), void
11 , Apply, (<*>)
11 , Apply, (<*>)
12 , Applicative, pure, liftA1
12 , Applicative, pure, liftA1
13 , Alternative, empty, (<|>)
13 , Alternative, empty, (<|>)
@@ -116,8 +116,8 @@ module Prelude
116 class Functor f where
116 class Functor f where
117 (<$>) :: forall a b. (a -> b) -> f a -> f b
117 (<$>) :: forall a b. (a -> b) -> f a -> f b
119− void :: forall f a. (Functor f) => f a -> f {}
119+ void :: forall f a. (Functor f) => f a -> f Unit
120− void fa = const {} <$> fa
120+ void fa = const unit <$> fa
122 infixl 4 <*>
122 infixl 4 <*>