http://hackage.haskell.org/trac/haskell-prime/wiki/TypeDirectedNameResolution
これがあれば短い名前を使って衝突しても解決してくれるという触れ込みだけどどうなんだろう
個人的には曖昧エラーの山になりそうだと思うんだが
SPJは使いものになると考えてるらしい