The monad `ParserT ε σ τ m` should inherit a `LawfulMonad` instance provided `m` has one.
The monad
ParserT ε σ τ mshould inherit aLawfulMonadinstance providedmhas one.