Reentry monad transformer

ertes's continue

No new patches.