<div dir="auto">You can only coerce between types that guaranteedly have the same runtime representation (newtypes), and "structures of them". Look up Coercible for more information.<div dir="auto"><br></div><div dir="auto">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.</div><div dir="auto"><br></div><div dir="auto">=======</div><div dir="auto">Georgi</div></div>