1 2 3 4 5 6 7
{-# LANGUAGE Haskell2010 #-} -- safe inferred, with requirement base is trusted module Check06_A where mainM :: Int -> Int mainM n = n + 1