[Haskell-cafe] C++ Haskell interpreter with GADTs + Type Families + Rank-n types
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