instance {-# OVERLAP #-} C a instance {-# NO_OVERLAP #-} C a instance {-# INCOHERENT #-} C a