Allow saving metadata in instructions
Clarification and motivation
A necessity to save custom metadata in instructions sometimes arises, and currently, Morley has no way of expressing this. I propose we add a new meta-instruction, Meta :: SomeMeta -> Instr a b -> Instr a b
to solve this issue.
Alternatively, we can also change the type of Instr a b
to Instr a b meta
, but this would be too big of an impact.
Acceptance criteria
We have a mechanism to save arbitrary metadata in instructions.