Improve signature of option
Improve signature of Identity
Improve signature of const
missing files
bug fix.
Improve signature of State
Improve signature of State
Improve signature of option
Improve sml-monads.cm
Improve signature of IO
Avoid value restriction...