haskell - yesod/hamlet: "$forall <-" 的右侧会发生什么？

Question

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

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

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），后面的东西来自<-https ：/ /stackoverflow.com/a/20263640/2868481parseDeref

这到底是什么Data.Char.isSymbol？供参考，

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

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