Jordan Woehr

VariantF: Ambiguous type variable that seems unambiguous

4

I'm trying to write a pattern for an EADT type that contains a less general, parameterised EADT type, but I receive the following ambiguous type variable error. I've reproduced the...