TypeFamilies vs. FunctionalDependencies & type-level recursion
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)
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