{-# LANGUAGE NoMonomorphismRestriction #-}
module T6062 where
x = [| False True |]