         (isName expression) and (_symbol expression) in paramNames
       labelUsedParams = (expression) ->
         map (syntaxNameAs '', 'param'), filterAst isUsedParam, expression
-      map labelUsedParams, if body then join [body], wheres else wheres
+      map labelUsedParams, join docs, (if body then join [body], wheres else wheres)
 
       if body and not isWellformed body
         return 'malformed'

      malformed call, 'Missing function result'
    else
      [docs, defs] = partition isComment, defs
      if isTypeAnnotation defs[0]
        [type, body, wheres...] = defs
      else

#   macro '#', ast, (node) ->
#     node.type = 'comment'
#     node
labelComments = (call) ->
  for term in _terms call
    term.label = 'comment'


# Syntax printing to HTML
