More notes on what unification does, including the String exception to enumerable unification.
More notes on what unification does, including the String exception to
enumerable unification.

jimwise/unific