class C a where {
}

class C a => X a b where {
}

instance C a => X a Int where {
}

main = 2;