Empty : Type;
Empty = { };