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

import safe SafeInfered02_A

g :: Int
g = f