Matching ADT with C# using https://gist.github.com/arturaz/6658547 helper.

ADTMatch.cs

    private static LeaderboardName getLeaderboardName(
      Kind kind, LeaderboardKind lbKind
    ) {
      return new LeaderboardName(
        kind.match().returning<string>
          .when<Kind.Global>(_ => string.Format(
            "lb_{0}", leaderboardKindToString(lbKind)
          ))
          .when<Kind.World>(kw => string.Format(
            "lb_w{0}_{1}", kw.world, leaderboardKindToString(lbKind)
          ))
          .when<Kind.Level>(kl => string.Format(
            "lb_w{0}_l{1}{2}_{3}", kl.world, kl.level, kl.bonus ? "b" : "",
            leaderboardKindToString(lbKind)
          ))
          .get(),
        lbKind
      );
    }