1 2 3 4 5 6 7 8 9
{-# LANGUAGE SafeImports #-} module Check01 ( main' ) where import safe Check01_B main' = do let n = mainM 1 print $ n