Control.Monad.HReader.Class
class MonadHReader m
type family MHRElemsConstraint (m :: * -> *) (els :: [*]) :: Constraint where ...
hask
haskTagged