[Haskell-cafe] C++ Haskell interpreter with GADTs + Type Families + Rank-n types

[Benjamin Redelings]

> 1. Unifying types a and b results in recording a "wanted" constraint 
> (a ~ n).  You can manually write constraints like (a ~ F b).
Oops -- it results in recording a wanted constraint (a ~ b).