1 2 3 4 5 6 7
{-# LANGUAGE GeneralizedNewtypeDeriving #-} -- | Unsafe as uses GND module UnsafeInfered03_A where f :: Int f = 1