type a = [bool]
type b = [[bool]]