1 2 3 4 5 6 7 8 9 10
{-# LANGUAGE OverlappingInstances #-} module C where import A import B class Class1 a => Class2 a instance Class2 B