読者です 読者をやめる 読者になる 読者になる

いや、

どちらかと言えば、再帰型が暗黙にあつかえてしまっている、このPolymorphic Recordな型システムがおかしいのか?

うーん、わからん。