ppError (NonQuantTypeApplied t1 t2) = "Non quantified type " ++ ppTerm t1
  ++ " applied to " ++ ppTerm t2
ppError (NonQuantTypeApplied t1 t2) = "Non quantified type " ++ ppTerm t1
  ++ " applied to " ++ ppTerm t2
ppError (NonQuantTypeApplied t1 t2) = "Non quantified type " ++ ppTerm t1
  ++ " applied to " ++ ppTerm t2