and if getValue isn’t defined for F?, the typechec...
# language-proposals
n
and if getValue isn’t defined for F?, the typechecker would catch it