Jannis: I have no clue! Would a `binding<L> ...
# arrow
v
Jannis: I have no clue! Would a
binding<L> {... }
be possible? currently you have to either infer both or none of the parameters.