public override IEnumerable <string> DumpCode() => new[]
{
$@"{string.Join("", Type.RetType.DumpCode())} {(Recur ? "@" : "")}{{ {
string.Join(", ",
from param in ParameterList
select $"{param.Name}: {string.Join("", param.Type.DumpCode())}")
} ->
"
}
.Concat(Body.DumpCode().Select(MapFunc))
.Append("}");
