code: function Type(name, super_types, fs) {
    this.super_types = [];
    this.name = name;
    if (super_types) {
      this.super_types = super_types;
    }
    this.fs = fs;
  }
docs: Constructor - name is a string - super_types is an array of types; it should be nonempty