Haskell @ type注释

Question

此代码似乎使用@符号来注释函数签名，  貌似用它来将类型保存到变量中？

https://github.com/hlian/mathbot/blob/master/web/src/Main.hs#L63

mathbot cmd @（Just（命令“math”用户通道（Just text）））

尝试使用类似的语法会产生parse error on input ‘@’。

这是否符合我的想法？如果是这样，它的定义来自哪里？如何定义一个可以在类型签名中运行的函数？