Re: Equality constraints (~): type-theory behind them

On Sat, Dec 22, 2018 at 11:08 AM Anthony Clayden 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.