{-# LANGUAGE Safe #-}
module UnsafeInfered08 where

import safe UnsafeInfered08_A

f :: Int
f = g