Avatar
any P が導入されたら Any の表記に違和感が出てきそうな気がしてるんですがどうでしょう?
6:53 AM
any P & Q とかを考えると anyany () とかかな?でも Never との整合性が・・・。