code: function showValuesAndTypes(
      env,            // :: Array Type
      typeInfo,       // :: TypeInfo
      values,         // :: Array Any
      pos             // :: Integer
    ) {
      var showType = showTypeWith (typeInfo.types);
      return show (pos) + ')  ' + joinWith ('\n    ', Z.map (function(x) {
        return show (x) +
               ' :: ' +
               joinWith (', ',
                         or (Z.map (showType,
                                    determineActualTypesLoose (env, [x])),
                             ['(no types)']));
      }, values));
    }
docs: showValuesAndTypes :: ... -> String