i was looking at how

Map<>

is implemented inside Haxe. I noticed it has this on it:

@:multiType(@:followWithAbstracts K)