блин, действительно

а кек

там именно так и написано

1. у меня есть type familiy F a
2. есть код, который работает с F A = A', потому что, например, ToJSON A'
3. ровно тот же самый код работает с F B = B', потому что опять же ToJSON B'

сейчас сижу и думаю, как этот общий код вынести в F a. потому что нет общего ToJSON (F a). или обобщать до ToJSON c => c -> Result? или втащить в ограничение ToJSON (F a) => F a -> Result?

это будет некрасиво, потому что там не один только ToJSON и вообще эти классы будут меняться при смене реализации.

то есть что реально хочется выразить в сигнатуре — (F A ~ c | F B ~ c) => c -> Result

ну, это можно выразить семейством по списку, которое констрейнт или бул вернет

F X = X' тоже существует, но этот код с ним не работает

а инстансы для A' и B' подставятся?

блин нет, не думаю

хочется чего-то типа шаблонов С++, чтобы тайпчекинг произошёл после подстановки типа, а не до

там, где я вызываю эту общую функцию, я знаю А и B

а параметрические модули так умеют?

Да сделай на CPP

грязновато, но должно сработать

да блин, а просто добавить ToJSON c в констрейнты нельзя?

можно, но

1. много. фактически там надо подставлять ToJSON (Foo a), Show (Bar a), Binary (Baz a)...

2. это протекающие детали реализации

ну то есть сделать (Elem c [F A, F B] ~ True, ToJSON c) =>

а ок

я так делал

когда прочитал вопрос, хотел тоже вот это предложить

хочется одним таким Elem заменить дюжину инстансов