chshersh opened this issue 5 years ago · 0 comments
Since we implement a custom combination of the StateT and MaybeT transformers, it would be nice to test their laws.
StateT
MaybeT
Functor
Applicative
Alternative
Monad
MonadState
Probably should be done before #240.