But how would you encode reference to such a type?
# language-proposals
o
But how would you encode reference to such a type?