I wrote (to the Clean discussion list): > :: MyType :== !(Int, Real) To avoid confusion: the strictness annotation is a typo, it doesn't do anything. The definition should be :: MyType :== (Int, Real) Cheers, Ronny Wichers Schreur