Monad
gives Applicative
, Applicative
etc. gives Num
, Floating
, Fractional
Setting it up
WrapMonad
tells us that a Monad
implies Functor
, Applicative
instance Monad m => Functor (WrappedMonad m)
instance Monad m => Applicative (WrappedMonad m)
instance Monad m => Monad (WrappedMonad m)