Equality constraints (~): type-theory behind them

[Oliver Charles]

On Sat, Dec 22, 2018 at 11:08 AM Anthony Clayden
<anthony_clayden at clear.net.nz> wrote:

> So the paper's main motivation is wrt Trac #9670.

Are you sure you mean #9670?
https://ghc.haskell.org/trac/ghc/ticket/9670 is "Make Data.List.tails
a good producer for list fusion" and has nothing to do with functional
dependencies.