Toward OptionT monad transformer
Savepoint for monad transformers