hakellみたいに4 `sub` 1ができたら良いんですけどね