as long as `getValue` is defined for `F?`, `val p ...
# language-proposals
n
as long as
getValue
is defined for
F?
,
val p by foo(a?)
would be fine