Besides as-pattern, what else can @ mean in Haskell?...

OCAML confuses defined type with definition?...

Functionality of as-pattern, non overlapping pattern through 'as pattern'...

Erlang's equivalent of Haskell's as-patterns...