@@ -116,6 +116,9 @@ 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 {}
120+ void fa = const {} <$> fa
119 infixl 4 <*>
122 infixl 4 <*>
121 class (Functor f) <= Apply f where
124 class (Functor f) <= Apply f where