I like the spirit of this proposal.
Another tangential use-case where a better representation for types would be useful is this use-case . It would be nice if we could include that use-case within this design.
1 Like