Нашел в архиве блогов вот такое:
http://web.archive.org/web/20080226221638/nemerle.org/Extensible_matching

Однако даже минимальный пример у меня не собирается:

variant Test {
  | Node { p :int; }
 
  public CustomPattern (p: int) : Test { 
    Node(p)
  }
 
  pattern CustomPattern (p : int) = CustomPattern (p);
}

Эту фишку открутили?