Provide Functor3 for functors which has 2 arities
Provide Applicative2, and Applicative3.
Provide Monad3, and Monad2.
Improve sml-monads.cm
Provide Monad State
missing a file