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

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