_ が書けると Higher Kind Type が書けるようになる気がする