patch applied (haskell-prime-status): Accepted: specify the static semantics of pattern bindings