{-# LANGUAGE Safe #-}
module SafeInfered02 where

import safe SafeInfered02_A

g :: Int
g = f