型クラスのインスタンスはグローバルで1つであるべきか

Kotlinは複雑じゃないScalaを目指して作られたはずなので、複雑さをかなり増す(それに見合った表現力は得られると思うわけですが)型クラスは嫌ったんじゃないですかね。Scalaのimplicitより良い形で型クラス実現してくれればよかったと思いますが 型クラスは基本的に一つの型に対して一個しか定義できないので、Monoid …