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