Core Team も Higher-kinded type の優先度低そうな感じだったし。