retronymさん(Scalaのコミッターの人)が Any and nothing are kind polymorphic in scala. https://groups.google.com/d/msg/scalaz/RTNLhIcFkIc/9uQHD618vDwJと言っていて、深く考えたことなかったけど、そういえばそうなのかーと妙に納得したのでメモして…