On Dec 1, 2009, at 2:29 AM, Heinrich Apfelmus wrote: > data Train a b = Wagon a (Train a b) > | Loco b Surely that should be: data Train a b = Wagon a (Train a b) | Caboose b ? - MtnViewMark Mark Lentczner http://www.ozonehouse.com/mark/ mark at glyphic.com