[Haskell-cafe] [GSOC] haskell-type-exts?

On the GSOC ideas page for haskell.org is haskell-type-exts[1], which—as the name may suggest :)—is a proposal for a typechecker for haskell-src-exts. It doesn't seem to have got much attention, having only a single comment from two years ago, and I haven't seen anyone talking about it here or elsewhere. I guess this is still something that would be useful, so unless anyone has a reason why not, I'd like to apply to do it. I'll probably start working on the application later today unless some objections surface :) (Is Niklas Broberg subscribed to this list? If so: would you still be willing to mentor this project?) [1] https://ghc.haskell.org/trac/summer-of-code/ticket/1620