so if the type of `a` is `A?` the type of `a?` is ...
# language-proposals
n
so if the type of
a
is
A?
the type of
a?
is
A