やはり

1:47 AM

型として変性が認められるもの(クラスなど)と、値としてのみ変性が認められるもの(Optionalなど)にわけて、前者だけ関数・ジェネリクスの変性に使えるようにすれば

1:47 AM

大分平和になりそうだなというのを朧気に考えていた