public override string ToString() => $"{_type.Name()}({string.Join(", ", _args.Select(a => a.ToString()))})";
public string Name() => $"*{Type.Name()}";