Evaluate free monad transformer.