だから @taketo1024 さんがiOSDCでも Depdendency Type が欲しいって言ってたのかな。

2:06 AM

「ある多項式で除算した体の空間」みたいなアレが型にできるんか