Bind(Instruction, string ➜ Instruction) ➜ Instruction;

Transforms the result of an instruction into a new instruction. Also implemented as SelectMany.

Map(Instruction, string ➜ string) ➜ Instruction;

Transforms the result of an instruction. Also implemented as Select.

SelectMany(Instruction, string ➜ Instruction, (string, string) ➜ string) ➜ Instruction;

Transforms the result of an instruction into a new instruction, then combines their results.