[Haskell-cafe] Type error depending on scope of pattern matching

[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-pattern-matching-tp5814762.html
Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com.