Error GHC-91510: illegal polymorphic type

Horrible hack, but:

type Objects :: Type -> (k -> k -> Type) -> k -> Constraint
class C arr a => Objects c arr a where
  type C arr a :: Constraint

data DoOrd

instance Ord a => Objects DoOrd (->) a where
  type C _ a = Ord a