that’s with the old syntax and typeclasses concepts and without finalised syntax for multiple receiv...
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