Closed MaxGabriel closed 6 years ago
Since MonadIO implies m is a Monad, and all Monads are Functors, the constraint is unnecessary.
m
Monad
Functor
Since MonadIO implies
m
is aMonad
, and allMonad
s areFunctor
s, the constraint is unnecessary.