TypeFamilies vs. FunctionalDependencies & type-level recursion

AntC anthony_clayden at clear.net.nz
Tue May 29 12:03:05 CEST 2012

Simon Peyton-Jones <simonpj at ...> writes:

> See also http://hackage.haskell.org/trac/ghc/wiki/NewAxioms
> (as yet unimplemented)
> Simon

Thank you Simon (and Pedro).

Are you inviting comment/suggestions/requests for clarification at this stage? 
(Or is this under-the-radar research?)

There is plenty of prior work/similar ideas to include in the references.

How's the best way to help? (Without unleashing a maelstrom.)


More information about the Haskell-prime mailing list