{-# LANGUAGE Haskell2010 #-}
{-# LANGUAGE Safe #-}
module SafeInfered04 where

import safe SafeInfered04_A

g :: Int
g = f