Enumeration fix(Enumeration f(Enumeration)) => new Enumeration.fix(f);

Enumeration singleton(x) => new Enumeration.singleton(x);

Enumeration empty() => new Enumeration.empty();