基本CanTypeにするときに全部解決されてた

なるほど

4:17 AM

@tarunon 直感的には、書いてあるものが、そのまま出てきて欲しいと思うよ (edited)

4:18 AM

あと型体系としても、alias型の左辺側が自然に取り回せないと