{-# language LambdaCase #-} test :: [a] -> String test = \case True -> "empty" False -> "not empty" . null main :: IO () main = putStrLn (test [])