[LYAHFGG] For a few monads more.