Eu me deparei com um pedaço de código Haskell que se parece com isso:

ps@(p:pt)

O que faz o@ símbolo significa neste contexto? Não consigo encontrar nenhuma informação no Google (infelizmente é difícil procurar por símbolos no Google), e não consigo encontrar a função na documentação do Prelude, então imagino que deve ser algum tipo de açúcar sintático.