class C a where {}

foo :: C a => Int;
foo = 42;