module Test where

class    C
instance C

test :: (forall c. c => r) -> r
test x = x @C