prefixMap prefix (RM_Apply rmF rmA) =
  RM_Apply (prefixMap prefix rmF) (prefixMap prefix rmA)
prefixMap prefix (RM_Apply rmF rmA) =
  RM_Apply (prefixMap prefix rmF) (prefixMap prefix rmA)
prefixMap prefix (RM_Apply rmF rmA) =
  RM_Apply (prefixMap prefix rmF) (prefixMap prefix rmA)