class C3 a => C1 a where {
}

class C1 a => C2 a where {
}

class C2 a => C3 a where {
}