Representational equality. If Coercion a b is inhabited by some terminating value, then the type a has the same underlying representation as the type b .
確定! 回上一頁