On 25 Jan 2005, at 12:22, Jules Bean wrote:
The concrete example for [] is:
concat . (map concat) should be the same (on all values of all types [a]) as concat . concat
..tiny correction, sorry. 'On all values of all types [[[a]]]'.
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe