We should use this representation in the nockma backend for the Juvix Maybe type. We need this to support the changes to the Anoma stdlib cryptographic API, see: https://github.com/anoma/juvix/issues/2850
We could handle this in the same way that we handle lists:
Anoma has chosen to represent the Maybe type in Nockma in the following way:
nothing
:0
just x
:[0 x]
See https://github.com/anoma/anoma/issues/569
We should use this representation in the nockma backend for the Juvix Maybe type. We need this to support the changes to the Anoma stdlib cryptographic API, see: https://github.com/anoma/juvix/issues/2850
We could handle this in the same way that we handle lists:
https://github.com/anoma/juvix/blob/7bb663c308c2f89c2f4c0f1811a31d3a28d4c243/src/Juvix/Compiler/Nockma/Translation/FromTree.hs#L227
i.e we use this representation for all inductive types that look 'Maybe-like'.