:set -XPolyKinds
class C a where f :: a b c
:t f