{-# LANGUAGE TemplateHaskell #-}
module M where
$( [d| x = True |] )