   topScope = cloneMap ctx._scope()
   removeFromMap topScope, '=='
   addToMap topScope, '{}',
-    type: quantifyAll toConstrained new TypeApp arrayType, (new TypeVariable 'a', star)
+    type: quantifyAll toConstrained new TypeApp arrayType()(), (new TypeVariable 'a', star)
   findMatchingDefinitionsOnType type, join scoped, [topScope]
 
 findMatchingDefinitionsOnType = (type, definitionLists) ->


    matchAst expression
  else
    call.tea = toConstrained expressionType

    serializeAst = (ast) ->
      if isForm ast

    throw new Error "matching on lists not supported yet"
  else
    items = _arguments call
    compiledItems = uniformCollectionCompile ctx, call, items, listType()
    assignCompile ctx, call, (irList compiledItems)

ms.Map = ms_Map = (ctx, call) ->
