@qnikst, Нормальная логика в инстансах.
Условно говоря:
instance if (C x) => C1 x where ...
instance else => C1 x where ...

@rkit, Даже паттерн-матчинг скорее.

@rkit, Ясно, спасибо

@qnikst, А где они описаны, если их нет в ghc, но они ЕСТЬ?

@ndtimofeev, В пейпере. Ну и вроде в каком-то костыле, не поставляемом вместе с ghc