@Override
public IConstructor encodeAsConstructor() {
TypeReifier tr = new TypeReifier(getValueFactory());
return tr.overloadedToProduction(this, ctx);
}
public IValue readCSV(IValue result, ISourceLocation loc, IMap options, IEvaluatorContext ctx) {
return read(tr.valueToType((IConstructor) result, new TypeStore()), loc, options, ctx);
}