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