Provide SMLMonadsOption
Provide lift operation.