Move everything into the Phaedrus monad.