add type parameters to polymorphic this type

[zpdDG4gta8XKpMCd]

It would be enormously helpful if this recognized type parameters:

abstract class Functor<a> {
   abstract map<b>(map: (value: a) => b): this<b>;
}

abstract class Monad<a> extends Functor<a> {
   abstract bind<b>(bind: (value: a) => this<b>): this<b>;
}

[mhegazy]

looks like a duplicate of #5845

[zpdDG4gta8XKpMCd]

I don't think it is a duplicate.

Higher kinded types are superior to what I am asking here, it would be great if TypeScript had HKT's, please please please, but in meanwhile, since the polymorphic this type was (surprisingly) added here, why not to tweak it a bit by allowing type parameters to it?

[mhegazy]

i do not think it is a "tweak". I am not sure I even understand the semantics of this<T> in this context; what if the extending class is not generic, what if it but the extending class type parameter count does not match that of the base, what if the type parameters are not the "same" type parameter of the base...

[zpdDG4gta8XKpMCd]

... crap, fair questions, this inheritance thing never works out nicely, what's even more upsetting is that this "polimorfic" type is here but due to that inheritance nonsense you can only use it for 23% of what you wish you could, nevermind