module SafeRecomp01 where

f :: Int
f = 1