{-# LANGUAGE TemplateHaskell #-}
module Sub where
x = [| 1 |]