Avatar
いや、コイツが存在すると型が非決定性にならないか?という話
12:54 AM
推論終わらないと型が決定しない