You'll probably get more responses if you paste the code inline.
tom
El Aug 1, 2015, a las 11:25, htebalaka
I'm curious if anyone can tell me why moving the pattern matching in these two examples makes it fail to compile, and what can be done to resolve the same issue in either of the latter two examples. As far as I can tell these should be equivalent. Unfortunately the solution used in the first examples won't work in the later ones due to the existential quantification. I've been asking on #haskell for a few days but haven't been able to find anyone who knows what the issue is.
Code is available here: http://lpaste.net/137586 http://lpaste.net/137586
-- View this message in context: http://haskell.1045720.n5.nabble.com/Type-error-depending-on-scope-of-patter... Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com. _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe