Beforehand I built something very similar to what you described for Flow (https://hackernoon.com/runtime-introspection-of-flow-types-ddb7e5b042a5 https://hacker

Beforehand I built something very similar to what you described for Flow (https://hackernoon.com/runtime-introspection-of-flow-types-ddb7e5b042a5 https://hackernoon.com/runtime-introspection-of-flow-types-d...). Many others superseded this implementation, the above being one example.