そういえば、「空」でないことをどう表現するんだ?と思いまして、型で表現できねーかとか考えてまして、