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

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