Error GHC-91510: illegal polymorphic type

Also reading the GHC Users’ guide, I think a quantified constraint can only have a concrete class or a constraint variable as the head (not the one that is involved in that same quantified constraint though). In your case the head is Objects which is a type family which is not allowed.