yesod/hamlet：「$ forall < - 」的右側發生了什麼？

Question

手冊http://www.yesodweb.com/book/shakespearean-templates只是說「循環列表 - 我們有你覆蓋」。我不明白該聲明中「list」的確切語義。

這不是「[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）和後面<-的東西來自parseDeref在https://stackoverflow.com/a/20263640/2868481

這是什麼Data.Char.isSymbol反正相關的地方嗎？ FYI，

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

我不知道這是否是預期的行爲（對於哈姆雷特/ yesod）。