Además de as-pattern, ¿qué más puede significar @ en Haskell?

Actualmente estoy estudiando Haskell e intento entender un proyecto que utiliza Haskell para implementar algoritmos criptográficos. Después de leer Learn You a Haskell for Great Good en línea, empiezo a comprender el código de ese proyecto. Luego descubrí que estoy atascado en el siguiente código...