[abakus]

type annotation is actually a fairly niche functionality. It is bad that most people cannot judge by themselves and just follow the hype.