yesod/hamlet:在"$forall <-“的右边发生了什么？

Question

手册中的http://www.yesodweb.com/book/shakespearean-templates只是说“循环遍历列表--我们已经覆盖了你”。我不理解该语句中"list“的确切语义。

它不是“[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)。