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


    empty? (fn [bag]
      (: (Fn (bag item) Bool))
      (# A bag with no elements.)))

  list-elem? (macro [what in]
    (: (Fn item (List item) Bool))

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


# Syntax printing to HTML
