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