type Empty {}