Jordan Woehr
Results
2
comments of
Jordan Woehr
I see. Thanks for the explanation!
When using types like those of the example with pattern matching, type errors occur due to ambiguous type variables. For example, the following function does not work without -XScopedTypeVariables and...