それ可能ならHigherKindedTypeそのものっぽい