C# Cofree experiments from John De Goes talk https://www.youtube.com/watch?v=R_nYc4FItcI

Cofree.cs

using System;

namespace FP 
{
    // final case class Cofree[F[_], A](head: A, tail: F[Cofree[F, A]])
    public interface ICofree<F, _, A>
    {
        A Head { get; }
        CofreeF Tail<CofreeF>() where CofreeF : ICofree<F, _, A>;
    }  
}