haskell - パターン シノニムから値をキャプチャできますか?

Question

次のパターンを想定します。

pattern P :: [Int]
pattern P <- a:_

どういうわけaか関数で使用できますfか?

f :: [Int] -> Int
f P = a

上記のコードは のエラーを生成しますNot in scope: 'a'。