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

Benjamin Redelings benjamin.redelings at gmail.com
Sat Jan 21 05:25:12 UTC 2023

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

More information about the Haskell-Cafe mailing list