Случайно выяснилось, что Nemerle позволяет определять типы в интерфейсах.
C# такое не позволяет.

interface A
{
  interface B {}
  class C {}
  enum D {}
}