Correctly exposes monads.