ザーッと流し読みしたら最後の方にしれっとHigherKindedTypeあってワロタ