もっと言うとOptional同様サブタイピング関係が定義できれば〜というのがありそう

8:51 AM

個人的にはOptionalのサブタイピングは嘘なので、そっちの方向は嫌なんだけど

8:51 AM

やりたいことの本質はそれに見える