言語仕様(The Haskell 2010 report)で説明のために非形式的に使ってるのとか、
あるいはGHCの実装で使ってるこれかな? https://ghc.haskell.org/trac/ghc/wiki/Commentary/Compiler/CoreSynType