docs: function guidedconvert(args, array) {
  		return args.map(function(o) {
  			if (o !== undefined) {
  				if (gui.Type.isConstructor(array.$of)) {
  					o = constructas(array.$of, o);
  				} else {
  					o = filterfrom(function(x) {
  						return array.$of(x);
  					}, o);
  				}
  			}
  			return o;
  		});
  	}