more monad facts added in midje