But it is possible, and i have seen code like this (admittedly, not as complex) in production. When you have code like this is really hard to know what is reall

But it is possible, and i have seen code like this (admittedly, not as complex) in production. When you have code like this is really hard to know what is really going on. Its SUPER rare you need flexibility like this in your type system, and as we all know when its doable, people will abuse it like crazy.