HigherKindedTypeないねん、ごめんな