Documentation
class Suitable m a whereSource
constraints :: Constraints m aSource
data family Constraints m :: * -> *Source
withResConstraints :: Suitable m a => (Constraints m a -> m a) -> m aSource
withConstraintsOf :: Suitable m a => m a -> (Constraints m a -> k) -> kSource