("error", Tforall ("a",Kopen) (tArrow tString (Tvar "a"))),
("irrefutPatError", str2A),
("patError", str2A),
("divZZeroError", forallAA),
("overflowError", forallAA)]
("error", Tforall ("a",Kopen) (tArrow tString (Tvar "a"))),
("irrefutPatError", str2A),
("patError", str2A),
("divZZeroError", forallAA),
("overflowError", forallAA)]