@NotNull
@Override
public Type transform(@NotNull State s) {
State env = s.getForwarding();
FunType fun = new FunType(this, env);
fun.table.setParent(s);
fun.table.setPath(s.extendPath(name.id));
fun.setDefaultTypes(resolveList(defaults, s));
Analyzer.self.addUncalled(fun);