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. Thanks, -- Andre