Any plans to move higher kinded typing (mypy) to a separate project?

[internetimagery]

Hey good people!

I very much love what is being done here.

My question is in regards to the higher kinded static typing that has been worked on. What is the foreseeable future for HKT in mypy? If it is likely that official support will need to remain in plugin form as is the case here, are there any plans to generalize it (it seems already generalized) and pull it into its own thing?

Certainly it would be useful on its own.

[sobolevn]

Hi! Thanks for the idea! I will try to generalize it soon. But, not ETA yet.