やったこと

可算

N を Nat に名前を変えて、ゼロコスト newtype を使うようにした。
計測してないけど、無駄ではないかな、くらいの気持ち。

なんか NatOps をパッケージオブジェクトに定義しないと + メソッドが探索されなかったのが謎だった。
implicit conversion なんも分からん。

文字と文字列に対する実装も追加した。
これで Scala の標準的な型に対する実装は一通りできたかな。

天皇誕生日

2月になっていたのか‥‥。