Support @ patterns as in Haskell