tarunon 9/20/2018 12:53 AM

いや、コイツが存在すると型が非決定性にならないか?という話

12:54 AM

推論終わらないと型が決定しない