Advertise generalization over MonadIO.