Haskell"Functor [::]"中的语法

Jak*_*ake 7 haskell functor

我在Functor [::] 这里遇到了这个实例,但我不理解语法,并且在代码中的任何地方都没有找到.什么是文件说?