Unified collection of Monads (M, unit, *) implemented in the Microsoft F# Language.