f :: Num a => a -> a = (+1)

main = pure ()