Что такое легальный Literate Haskell? Где-нибудь формальный синтаксис?

Кто-то придумал отличную идею объединения Literate Haskell и Markdown. Для меня это было разумно, поэтому я хотел попробовать. Но есть кое-что, что Haskell не любит в синтаксисе заголовка Markdown '#':

Hello World

> main = putStrLn "hello, world"

работает ...

$ runhaskell hello_world.lhs 
hello, world

Хотя ...

# Hello World #

> main = putStrLn "hello, world"

не ...

$ runhaskell hello_world.lhs
hello_world.lhs:1:3: lexical error at character 'H'

Есть ли определение что законно? Синтаксис Haskell упоминает только Literate Haskell в качестве примера, и ничего, что подразумевает синтаксис Markdown, является недопустимым.