[Haskell-cafe] Re: Are there standard idioms for lazy, pure error handling?

@Apfelmus: For practical purposes I think Train should have swapped type parameters in order to make Functor act on the type of the list elements. data Train b a = Wagon a (Train b a) | Loco b