Introduce mu ListInstr datatype