{-# OPTIONS_GHC -fpackage-trust #-} module Check05 ( main' ) where main' = do let n = 1 print $ n