Initial work on example of monad transformer