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

main = pure ()