Can we offer ~ without GADTs or type families?
ryan.gl.scott at gmail.com
Fri Aug 5 18:15:56 UTC 2016
> Could we get a separate LANGUAGE pragma just for equality constraints?
I think we should, and I don't think we'd even need to introduce a new
pragma, since there's already a perfectly good one: -XTypeOperators!
After all, there's nothing really that special about (~) other than
some typechecking details. A fix to Trac #9194  would give us this.
More information about the ghc-devs