using Nemerle;
using Nemerle.Collections;

using System.Console;

module Program
{

variant N
{ 
  | Zero
  | S 
     {
         x:N;
     }
}

  Main() : void
  {

    def x=N.S(N.S(N.S(N.Zero)));
    _ = ReadLine();
    
}
}

Ошибка 1 in argument #1 (x), needed a Program.N, got void -> Program.N.Zero: void -> Program.N.Zero is not a subtype of Program.N [simple require] C:\Users\Сергей\Documents\Visual Studio 2012\Projects\ConsoleApplication5\ConsoleApplication5\Main.n 65 19 ConsoleApplication5