{-# LANGUAGE Safe #-}
module SafeInfered01 where

import safe SafeInfered01_A

g :: Int
g = f