>>971
真偽値なのに仕様に反せず特殊化するのは不可能ということで特殊化ダメ、って考えたんだろうけど
特殊化して本来の動作が全く変わらない、なんてのが有り得るのか？(あるとしてもやる意味が無い

仮に自作クラスの型で完全特殊化しても、元の動作とは異なる動作を生むわけだから
requirementsの意味がよくわからん