         malformed ctx, type, 'Label is required'
       if not type
         malformed ctx, name, 'Missing type'
-      if name and type
-        syntaxType type
     if args.length is 0
       malformed ctx, call, 'Missing field declarations'
     # TS: (data #{ctx.definitionName()} [#{_arguments form}])

    else if type.TypeConstr
      no
    else if type.TypeApp
      isNormalizedConstraintArgument type.op.type


typeEq = (a, b) ->

    typeConstructorCompile
  else
    malformed ctx, expression, 'not a valid type'
  )? ctx, expression, expectedKind

typesCompile = (ctx, expressions, expectedKinds = []) ->
  typeCompile ctx, e, expectedKinds[i] for e, i in expressions

typeNameCompile = (ctx, atom, expectedKind) ->
  expanded = ctx.resolveTypeAliases atom.symbol
