Initial do-notation

Initial do-notation for Fantasy Land monads.