Closed hololeap closed 5 years ago
The Monad m constraints in Functor FreeT and Applicative FreeT instances are needlessly restrictive and can be loosened to Functor and Applicative constraints respectively.
Monad m
Functor FreeT
Applicative FreeT
Functor
Applicative
The
Monad mconstraints inFunctor FreeTandApplicative FreeTinstances are needlessly restrictive and can be loosened toFunctorandApplicativeconstraints respectively.