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

import Prelude

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