ptdef (Newtype qtcon coercion tbinds tyopt) =
text "%newtype" <+> pqname qtcon <+> pqname coercion
<+> (hsep (map ptbind tbinds)) $$ indent repclause
ptdef (Newtype qtcon coercion tbinds tyopt) =
text "%newtype" <+> pqname qtcon <+> pqname coercion
<+> (hsep (map ptbind tbinds)) $$ indent repclause