{-# LANGUAGE NoScopedTypeVariables #-}

f :: Int -> Int = (+1)

main = pure ()