есть инстанс какого-то семейства?
Так ведь если нет инстанса, оно же просто не скомпилируется, чем не проверка?)
если у этого семейства класса нет, то никак, кроме как использовать семейство. что-то типа type HasFamily a = () :: Constraint HasFamily (Family t) => ...
компилируется, увы
Будет компилироваться если не будет нужного инстанса тайпфемели?
да, если тип просто упоминается, но не используется
Обсуждают сегодня