{-# LANGUAGE TemplateHaskell #-} -- | Unsafe as uses TH module UnsafeInfered02_A where f :: Int f = 1