
7 Dec
2009
7 Dec
'09
7:55 p.m.
Excerpts from Henning Thielemann's message of Mon Dec 07 20:36:27 +0100 2009:
@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
The functor on the Loco/Caboose makes sense too and swapping the arguments is less natural to read. -- Nicolas Pouillard http://nicolaspouillard.fr