class C a where {
}

class C Int => D a where {
}