Excerpts from Edward Z. Yang's message of Fri Jul 30 14:48:34 -0400 2010: > Const x xs is x:xs (constructor) That should be a Cons, not Const. :o) Cheers, Edward