/bad/

• ../
• appType.mim
• divideBy0.mim
• headOfNil.mim
• ifType.mim
• outOfTupleBounds.mim
• syntax.mim
• tailOfNil.mim