1 2 3 4 5 6 7
{-# LANGUAGE Haskell2010 #-} -- | Trivial Safe Module module SafeInfered01_A where f :: Int f = 1