Oops! I was very confused! Sorry, ignore that. I think ghc doesn't "know" which case you're in (after the pattern match) to allow the coercal.