Missing MonadIO (Kleisli m a) instance
Should there be an
instance MonadIO m => MonadIO (Kleisli m a) where
liftIO :: IO b -> Kleisli m a b
liftIO io = Kleisli \_ -> liftIO io
this would allow
-
data GHCi.UI.Monad.GHCi
to deriveMonadIO
viaKleisli Ghc (IORef GHCiSTate)
-
newtype Text.ParserCombinators.ReadPrec.ReadPrec
to deriveMonadIO
viaKleisli ReadP Prec
See #17994.