How could https://thomasbandt.com/model-view-update look in C#?

Cmd.cs

namespace MvuCsharp
{
    public class Cmd
    {
        public static readonly Cmd None = new Cmd();
        public static Cmd OfMsg(IMessage msg) => new Cmd(); // TODO
    }
}

DemoProgram.cs

using System;

namespace MvuCsharp
{
    public class Model
    {
        public int Count { get; }

        public Model(int count)
        {
            Count = count;
        }
    }

    public interface IMessage
    {
    }

    public class Increment : IMessage
    {
        public int Value { get; }

        public Increment(int value)
        {
            Value = value;
        }
    }

    public class IncrementRandom : IMessage
    {
    }

    public class CmdIncrementRandom : IMessage
    {
    }

    public static class DemoProgram
    {
        private static readonly Random _random = new Random();

        private static Increment IncrementRandom() => new Increment(_random.Next(10, 100));

        public static ValueTuple<Model, Cmd> Init() => (new Model(0), Cmd.None);

        public static ValueTuple<Model, Cmd> Update(IMessage msg, Model model)
        {
            return msg switch
            {
                Increment increment => (new Model(increment.Value), Cmd.None),
                IncrementRandom _ => (model, Cmd.OfMsg(new CmdIncrementRandom())),
                CmdIncrementRandom _ => (model, Cmd.OfMsg(IncrementRandom())),
                _ => throw new NotImplementedException()
            };
        }

        public static void View()
        {
            // TODO
        }
    }
}