`Monad` constraint now implies `Functor` constraint.
Monadconstraint now impliesFunctorconstraint.