仕様と実装(既存のクラスのeachはすべてそうなっているという意味で)で示されている。多態というのは「実装は違うが意味は同じ」であるからこそ成立する概念だ。一方の、__typecheck__()だが、こちらはまず第一に多態ではない。「オブジェクトに適した動作」を選択する「オブジェクト」がないのだから。「モジュールごとに適した型チェック」なるものも存在しない。「モジュール作者が望んだ型チェック」ではあるだろうが。adaptationなのかそもそもなんにもチェックしないのか(これも合法)であるかは、決められておらず、逆に「好きなのを選んで」と任せてしまっている。これでは共通の「意味」があるとは認められないだろう。