DB
ты спрашиваешь почему именно нельзя или как сказать хаскелю что нельзя?
Второй вопрос, да
Size: a a a
2021 February 12
DB
У Reverse они (инстансы) есть?
Да, есть. В том и дело. Если подменить эти инстансы произойдет прекол
DB
type Map nominal representative
Это где-то в сорцах containers?
MK
Это где-то в сорцах containers?
MK
вот тут
MK
поищи "type role"
MK
это всё в мануале расписано
DB
Благодарю!)
DB
Кейворды конечно длинноваты)
DB
Ещё такая тема с индексированными типами. Их же в любом случае можно обмануть какой нибудь функцией по типу
Или как-то от ентого можно защититься?)
foo :: m indexType a -> m ConcreteType aИли как-то от ентого можно защититься?)
DB
id
DB
А хотя
DB
Не, не id
MK
а как эту функцию написать-то?
unsafeCoerceDB
unsafeCoerceОбычный коерс не приведет? Не нашел в той доке, что ты кинул, про это
DB
Конкретнее: фантомные не приводятся?