Avatar
omochimetaru 6/3/2021 3:38 AM
generalized existentialは、それに加えてユーザ側での型の扱いがあるので、その次の段階になりそう。