Control.Monad.Constrained.IO

class MonadIO m