type a = bool;