Control.Applicative
class Applicative f
class Alternative f
data Const a b
data WrappedMonad m a
data WrappedArrow a b c
data ZipList a
(<$>)
(<$)
(<**>)
liftA
liftA2
liftA3
optional