Data.Poly.Functor

class PolyFunctor t

type family PolyFunctorConstraint (c :: * -> Constraint) t :: Constraint