Moving over to IO. Unfortunately.. It is harder to type an arbitrary monad for typeable than previously supposed.