I don't know much about CT, but I believe that if you want to work with Higher Kinded Types, you'll keep going back to ideas related to CT (functors, endofuncto

I don't know much about CT, but I believe that if you want to work with Higher Kinded Types, you'll keep going back to ideas related to CT (functors, endofunctors, natural transformations...). I'm not sure if taking a course in CT is the most efficient way to learn how to apply such concepts in computer programming, thought. Maybe someone with more experience can give it's opinion.