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

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).