How to demand functional dependency for constraint-producing kind

Question

Consider the following code:

type CFunctor f = forall x y. (x -> y -> Constraint) -> f x -> f y -> Constraint

type MapList :: CFunctor []
clas