using System;

using FreeAwait;

using Void = FreeAwait.Void;

​

var name = await new ConsoleIO().Run(Greet());

Console.WriteLine(name);

​

async IStep<string?> Greet() // Это походу и есть именно сама фримонада

{

    await new WriteLine("What's your name, stranger?");

    var name = await new ReadLine();

    await new WriteLine($"Greetings, {name}!");

    return name;

}

​

record ReadLine : IStep<ReadLine, string?>;

record WriteLine(string? Text) : IStep<WriteLine, Void>;

​

class ConsoleIO :

    IRun<ReadLine, string?>,

    IRun<WriteLine, Void>

{

    public string? Run(ReadLine command) => "Kostya"; //Console.ReadLine();

​

    public Void Run(WriteLine command)

    {

        Console.WriteLine(command.Text);

        return default;

    }

}