Improve signature of option
Provide SMLMonadsList