Thanks <@U0B8UEMV1>, that was a helpful exercise :...
# arrow
v
Thanks @pakoito, that was a helpful exercise ­čśë I still don't quite understand how the inference works (or why it doesn't)