module Main where import System.Environment (getArgs) import Control.Monad (when) main = do print 'a' args <- getArgs let isB = head args when (isB /= "isA") (error "A is not A!")