Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.
i have a monad m with a MonadIO instance, what should i use to reinterpret Final m to Final IO by providing say liftIO ?
m
MonadIO
Final m
Final IO
liftIO
i have a monad
mwith aMonadIOinstance, what should i use to reinterpretFinal mtoFinal IOby providing sayliftIO?