[Haskell-cafe] Type constraint rewrite rules

Anthony Clayden anthony.d.clayden at gmail.com
Mon Jan 23 02:59:53 UTC 2023

> ... rewrite rules for type constraints ...

That's what FunDeps are, with the advantage you can stipulate
multiple/multi-directional rewrites. (With a bit of effort you can support
three FunDeps for `Nat` Plus.)

The more I think about it, the more it seems type-land 'solving' is not the
same job as term-land 'evaluating'; and Type Families are the wrong tool
for the job.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20230123/80f685dc/attachment.html>

More information about the Haskell-Cafe mailing list