181351 posts 1993 follows 1215 followers
Please pay attention to random failures.
intersectionを取ると空じゃね?、monomorphicな系だとそうだけど「polymorphicな値」があるとそれを満たせるのかなぁ