 
     empty? (fn [bag]
       (: (Fn (bag item) Bool))
-      (# A bag with no elements.)))
+      (# Whether the bag contains no elements.)))
 
   list-elem? (macro [what in]
     (: (Fn item (List item) Bool))

      (list-elem? what in)))
  """
  "(elem? 3 {1 2 3})", yes

  # TODO: support matching with the same name
  #       to implement this we need the iife to take as arguments all variables

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