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