まだHigherKindedType無いし変性はメチャクチャですよ