In Haskell, a data constructor can be used partially applied:data Pair a b = P a bf = P 1however, I cannot do "partial pattern matching", e.gfirstCoord (P x) = xdoes not work.I guess a very important reason must exist why this is the case?
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe