Partial type inference proposal for Haskell: http://t.co/SIvLw67iBJ