module T6062 where
x = [| False True |]