{-# LANGUAGE TemplateHaskell #-}
module A where

x = $([| True |])