type a = [bool; 8]