There is a fundamental problem with assuming all []'s are equal even if
they are empty lists of different things. mainly, that they arn't!
see
; ghci
Prelude> print ([]::[Int])
[]
Prelude> print ([]::[Char])
""
Remember, in haskell, values may depend on types. Just because the type
is not explicitly expressed in the pattern, it doesn't mean it isn't
there and passed around behind the scenes.
John
--
John Meacham - ârepetae.netâjohnâ
_______________________________________________
Haskell-Cafe mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell-cafe
