{-# LANGUAGE Haskell2010 #-} {-# LANGUAGE Safe #-} module UnsafeInfered02 where import safe UnsafeInfered02_A g :: Int g = f