code: function typeVarNames(t) {
      return Z.concat (
        t.type === VARIABLE ? [t.name] : [],
        Z.chain (function(k) { return typeVarNames (t.types[k]); }, t.keys)
      );
    }
docs: typeVarNames :: Type -> Array String