-- | Trivial Safe Module
module SafeInfered01_A where

f :: Int
f = 1