1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22
:t foldl :print foldl :t fmap :print fmap :t return :print return :t pure :print pure :m + Data.Monoid :p mempty :p mappend :m + Data.List :p foldl' :set -XRankNTypes f :: (forall a. a -> a) -> b -> b; f g x = g x :p f