Eliminated Phased monad transformer in favor of a somewhat more
statically verifiable system.