[Haskell-cafe] Desugaring ArrowLoop notation