         [type, body, wheres...] = defs
       else
         [body, wheres...] = defs
-      paramNames = map _token, params
+      paramNames = map _symbol, params
       # pattern
       paramTypes = map (-> toForAll ctx.freshTypeVariable star), params
       ctx.newLateScope()
-      # log "adding types", (map _token, params), paramTypes
-      ctx.addTypes (map _token, params), paramTypes
+      # log "adding types", (map _symbol, params), paramTypes
+      ctx.addTypes (map _symbol, params), paramTypes
 
       log "compiling wheres", pairs wheres
       compiledWheres = definitionList ctx, pairs wheres

#   names = []
#   crawl pattern, (node) ->
#     if node.label is 'name'
#       names.push node.token
#   names



#       #{content} else {throw new Error('match failed to match');}}())"""
#   'require': (from, list) ->
#     args = inside(list).map(compileName).map(toJsString).join ', '
#     "$listize(window.requireModule(#{toJsString from.symbol}, [#{args}]))"
#   'list': (items...) ->
#     "$listize(#{compileList items})"

