根本的にはOptionalがtagged unionであるということと、T?とTのサブタイピングを認めてかつTとUがサブタイピング関係があるときにT?とU?のサブタイピングも認める、ということをしちゃうと

7:15 AM

型理論に優先順位のルールを加えなきゃいけなくなるが、人間の認知はここまで追い付かないので

7:16 AM

文脈によってサブタイピングがあって欲しい場合とサブタイピングを認めたくない場合が混在してしまい

7:16 AM

人間はそれをバグと認知してしまう

7:16 AM

仕事終わったら詳しく書くか