Provide SMLMonadsEither1.
Add an example "stack".