2 Dec
2020
2 Dec
'20
10:26 a.m.
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. ======= Georgi