data Poly c

type family GetPolyConstraint a :: * -> Constraint where ...

class IsPoly a