renderFile :: [Dec] -> DocM Html
renderFile ds = do
  current <- asks fst
  file_comment <- asks $ progDoc . fileProg . snd
  moduleBoilerplate current .
    ((H.div ! A.id "file_comment" $ renderDoc file_comment) <>) <$>
    renderDecs ds
renderFile :: [Dec] -> DocM Html
renderFile ds = do
  current <- asks fst
  file_comment <- asks $ progDoc . fileProg . snd
  moduleBoilerplate current .
    ((H.div ! A.id "file_comment" $ renderDoc file_comment) <>) <$>
    renderDecs ds
renderFile ds = do
  current <- asks fst
  file_comment <- asks $ progDoc . fileProg . snd
  moduleBoilerplate current .
    ((H.div ! A.id "file_comment" $ renderDoc file_comment) <>) <$>
    renderDecs ds