{-# LANGUAGE Haskell2010 #-}
-- safe inferred, with requirement base is trusted
module Check08_B where

import Prelude

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