// leading c/e
type e = bool; // trailing c.e