Type inference isn't ready for MonadBase yet.