undecidable.cs

public interface IN<in U> {}
public interface IC<X> : IN<IN<IC<IC<X>>>> {}

class Program
{
    static void Main()
    {
        IC<double> bar = null;
        IN<IC<string>> foo = bar;
    }
}