TypeFamilies vs. FunctionalDependencies & type-level recursion

[AntC]

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.)

AntC