   "<code>#{collapse toHtml type}</code>"
 
 prettyPrint = (type) ->
-  prettyPrintWith highlightType, type
+  prettyPrintWith printTypeToHtml, type
 
 plainPrettyPrint = (type) ->
   prettyPrintWith printType, type

    [expression] = _terms ast
    compilationFn = (topLevelExpressionInModule importsFor moduleDependencies moduleName)
    {js} = compileCtxAstToJs compilationFn, ctx, expression
    (finalizeTypes ctx, expression)
    js: library + immutable + (listOfLines map lookupJs, (setToArray runtimeDependencies moduleName)) + '\n;' + js
    ast: ast
    errors: checkTypes ctx
    malformed: ctx.isMalformed

importsFor = (moduleSet) ->

  style = if color then " style=\"color: #{color}\"" else ''
  "<span#{style}>#{string}</span>"

themize = (label, string) ->
  colorize theme[label], string

# TODO: figure out comments
# typeComments = (ast) ->
#   macro '#', ast, (node) ->
