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


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

  # Type an expression
ms[':'] = ms_typed = (ctx, call) ->
    hasName = requireName ctx, 'Name required to declare typed values for now'
    [docs, defs] = partition isComment, _arguments call
    [type, constraintSeq, rest...] = defs
    compiledType =
      if isSeq constraintSeq
        constraints = typeConstraintsCompile ctx, _terms constraintSeq
