[Haskell-cafe] Local quantification annotations