Control.Applicative.Compat

data Const a b

data WrappedMonad m a