1 2 3 4 5 6 7 8 9
{-# LANGUAGE Haskell2010 #-} -- safe inferred, with requirement base is trusted module Check08_B where import Prelude b :: Int -> Int b n = n + 1