Profile

Masanori Ogino 𓀁

181351 posts 1993 follows 1215 followers

Please pay attention to random failures.

https://mstdn.maud.io/@omasanori

Masanori Ogino 𓀁 omasanori@mstdn.maud.io

intersectionを取ると空じゃね?、monomorphicな系だとそうだけど「polymorphicな値」があるとそれを満たせるのかなぁ