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