PolyKind issue in GHC 7.6.1rc1: How to make a kind a functional dependency?

[Simon Peyton-Jones]

| > (Also - what's the general status on this initiative? Has much
| > happened in about a month?)
| 
| From my end, nothing. I'm trying to wrap up some other work I'm doing
| on GHC (ordered overlapping type family instances), and it looks like
| some of the questions I raised in my last email in this thread are
| still open.

I think "this initiative" refers to the question of eta expansion in FC.  

We are stalled on this, partly for lack of bandwidth and partly because there are more urgent things to do.  But I did capture the issue in this ticket
	http://hackage.haskell.org/trac/ghc/ticket/7259

Simon