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

  map labelParams, ast

# Assumes definition name
preDeclareExplicitlyTyped = (ctx, type, documentation) ->
  explicitType = quantifyUnbound ctx, type
  name = ctx.definitionName()
  id = ctx.definitionId()


      # Predeclare type
      if name = ctx.isAtSimpleDefinition()
        # Explicit typing
        if type
          compiledType = typeConstrainedCompile ctx, type
          explicitType = preDeclareExplicitlyTyped ctx, compiledType, docs
          ctx.assignArity name, paramNames
        else
          documentation = extractDocs docs
          ctx.preDeclare name,
            arity: paramNames
            id: ctx.definitionId()
