Higher Kinded Typeが必要(エスパー)