Type-erasureに再帰的に詰めてるところ、ズルはできないかな?