haskell - yesod/小村庄 : what happens on the right hand side of "$forall <-" ?

Question

手册http://www.yesodweb.com/book/shakespearean-templates只是说“循环列表 - 我们让你满意”。我不明白该语句中“列表”的确切语义。

这不是“[something] 类型的任意 haskell 表达式”:我不会写

main = putStrLn $  renderHtml [shamlet|
 <ul> 
   $forall x <- reverse [ False, True ]
     <li>#{x}
|]

看起来它必须是一个文字列表(在方括号中，元素以逗号分隔)但究竟什么是有效的列表元素？

可以是数字字面量——至少下面是通过拼接实现的

main = putStrLn $  renderHtml [shamlet|
 <ul> 
   $forall x <- [ 0, 1 ]
     <li>#{ x }
|]

但是编译器不喜欢它，因为(我认为)数字文字是多态的。通常的解决方法是在某处放置类型签名。但是在哪里呢？

Answer 1

同时我在源代码中找到了相关位置(https://github.com/yesodweb/shakespeare/blob/master/hamlet/Text/Hamlet/Parse.hs#L209)和<-背后的东西来自parseDeref如 https://stackoverflow.com/a/20263640/2868481

这是什么Data.Char.isSymbol反正？仅供引用，

import Data.Char
filter isSymbol [toEnum 0 .. toEnum 127]    ==>  "$+<=>^`|~"

我想知道这是否是预期的行为(对于 hamlet/yesod)。