If we expect `Type` to be passed the abstraction w...
# language-proposals
d
If we expect
Type
to be passed the abstraction will be leaky