Haskellの変数の有効範囲って何か具体的に決まっているのかな？
Haskel Reportを読んでもはっきりと書かれていないような。

以下のように関数(>>?)を定義してvalue1, value2を求めると
value1は普通に求められるが、value2は\s -> s + aのところで
aが未定義ですとか言われる。

括弧があると変数の有効範囲が変わるのかな？

(>>?) :: a -> (a -> b) -> b
v >>? f = f v

value1 = (1, 2) >>? \(a, b) -> b >>? \s -> s + a
value2 = (1, 2) >>? (\(a, b) -> b) >>? \s -> s + a