Lazy is a monad, but I don't recommend you use it.
whitespace in Structures.Monad.
avoid 'run' because it seems to be part of Mtac