<div dir="auto">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.<div dir="auto"><br></div><div dir="auto">=======</div><div dir="auto">Georgi</div></div>