"「型理論::継承」を否定的に捉える文化圏"の方々がUSBの代替規格をデザインするとしたらどんなものになるのか？＞＜
というのがオレンジの疑問＞＜