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