that’s with the old syntax and typeclasses concept...
# arrow
p
that’s with the old syntax and typeclasses concepts and without finalised syntax for multiple receivers, I imagine a new encoding would be possible