1 2 3 4 5 6 7 8
-- safe inferred, with requirement base is trusted module Check07_B where import Prelude b :: Int -> Int b n = n + 1