MooseのTypeConstraintは，型というよりはあるデータの性質を表現したものだと考えられる。また，TypeCoercionは，ある型（＝あるデータの性質）に対してフックを掛けるメカニズムと考えられる。 このように考えると，Coercionを利用していろいろと面白いこ…