is this not a valid instance for `Monad (Lift f)`? https://play.haskell.org/saved/Gcaga28R I don't see this defined in transformers but I don't see how this would violate monad laws