Comment by cubefox

Where do you need full type unification rather only type pattern matching?