2 Dec
2020
2 Dec
'20
10:24 a.m.
You can only coerce between types that guaranteedly have the same runtime representation (newtypes), and "structures of them". Look up Coercible for more information. In this case, there is no way to know that two arbitrary types a and b have the same representation, so you can't coerce between them. ======= Georgi