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
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to