-- safe infered, with requirement base is trusted
module Check07_B where

import Prelude

b :: Int -> Int
b n = n + 1