Having `out A` appearing as `in` is only possible ...
# arrow-contributors
s
Having
out A
appearing as
in
is only possible with an extension function AFAIK