Improve signatures.
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...
missing a file
Remove type constraint