type a = bool