昨晩はお布団に吸い込まれてしまったが、extension の where つかうと implicit をつかった evidence みたいなのができる確かに、と思った。これだとかなり Scala のパターンに近いレベルになってる。素敵。