{-# LANGUAGE GeneralizedNewtypeDeriving #-}
-- | Unsafe as uses GND
module UnsafeInfered03_A where

f :: Int
f = 1