В моем последнем комментарии я имел в виду «для каждого закрытого семейства данных».
ледующие работы:
{-# LANGUAGE TypeFamilies #-}
type family TF a
type instance TF Int = String
type instance TF Bool = Char
data family DF a
data instance DF Int = DFInt String
data instance DF Bool = DFBool Char
type family CTF a where
CTF Int = String
CTF Bool = Char
CTF a = Double -- Overlap OK!
... но это не так (по состоянию на GHC-8.2):
data family CDF a where
CDF Int = CDFInt String
CDF Bool = CDFBool Char
CDF a = CDFOther Double
wtmpf-file24527.hs:16:19: error: parse error on input ‘where’
|
16 | data family CDF a where
| ^^^^^
Просто никто еще не удосужился реализовать это или есть особая причина, по которой закрытие семейств данных не имеет смысла? У меня есть семейство данных, в котором я бы предпочел сохранить инъективность, а также возможность создать непересекающийся универсальный экземпляр. Прямо сейчас, единственный способ сделать это -
newtype CDF' a = CDF' (CTF a)