Here's the Trac page of the proposal: https://ghc.haskell.org/trac/haskell-prime/wiki/TypeDirected...

Also a bit disappointed that it didn't make the cut - it seemed like a good pragmatic solution!