haskell-checkers / checkers

Check properties on standard classes and data structures
Other
79 stars 13 forks source link

Include Applicative-Monad relationship in Monad laws #30

Closed sjakobi closed 5 years ago

sjakobi commented 5 years ago

I think this makes sense since Applicative has become a superclass of Monad.

What about monadApplicative though, which is somewhat redundant now? Deprecate it?

(The same can be asked about monadFunctor. And applicative already contains the Functor-Applicative relationship.)

bindApply should probably be handled in the same way as monadApplicative.