если у меня есть Foo Bar; Bar = A | B | C то для того чтобы для каждого Bar сделать свою реализацию метода то это классы типов только?

ну или синглетоны?

предположим, Foo = [], тогда Foo Bar состоит из [], [A, B, C], [C, B, A]...

что значит "для каждого Bar"?

или Foo (bar :: Bar)?

полседнее

ERROR: S client not available

GADT достаточно вроде

синглетоновидный