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("}");