which I think is the lack of `forall .` in the lan...
# arrow
j
which I think is the lack of
forall .
in the language, right? it doesn't bind A on invocation, but on construction, or something?