1 2 3 4 5 6
{-# LANGUAGE QuantifiedConstraints, MultiParamTypeClasses, TypeFamilies #-} -- NB: No PolyKinds module T17562b where class (forall a. a b ~ a c) => C b c