Let `this` as a type

Hi!

I think that what you are describing is called " Self type" and was discussed here : Self Types

1 Like