型付けを定義してしまおうと思った.なかなかすっきりと定義できない.

進まない.