declaring a generic type in type synonyms

Andre W B Furtado
Thu, 21 Feb 2002 15:59:16 -0300

Is is possible to declare a generic type without using "data" or "newtype"?
For example, I woud like that "pair" is a type synonym for "(t,t)" where t
is a generic type, but just saying:

> type pair = (t,t)

won't work: i get a parse error.

-- Andre