a = Nothing
main = match a with
    Nothing -> "Correct"
    Just x -> "Incorrect"
--
Correct