Added a Phaedrus monad stack.