On 25/05/11 16:46, Eugene Kirpichov wrote: > data FList a = FNil | FCons Int a (FList a) > empty = FNil > len FNil = 0 > len (FCons n _) = n > cons x xs = FCons (1 + len xs) x xs > tail (FCons _ _ xs) = xs My mistake, sorry. Currently looking for original reason to have accidentally come to believe that. -- Tony Morris http://tmorris.net/