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

class IsPoly a