how would anyone infer the type of L in the first ...

# arrow

[Jannis]

how would anyone infer the type of L in the first binding? That is impossible afaik, a solution could be a nothing default or something or from jb side a way to detect redundant type information and omit forcing the declaration.