над Text (UserNameText, EmailText, ...) и я хочу чтобы для них всех ConvertibleStrings(cs) работал бы как с обычным Text, то есть что то вроде
instance ConvertibleStrings a Text => ConvertibleStrings a EmailText where cs = EmailText . cs
instance ConvertibleStrings Text a => ConvertibleStrings EmailText a where ...
Но при этом для cs :: UserNameText -> EmailText попадает два разных инстанса. Как идейно правильно такое обойти?
скинь либу
а сдерайвить через deriving newtype не выходит?
можно только в одну сторону
Что сдерайвить, это мультипарамтайпкласс
и явно написал что такой инстанс делать не нужно
Обсуждают сегодня