how is `a?` of type `A`?
# language-proposals
k
how is
a?
of type
A
?