> module Main where
> import Text.XML.MusicXML
> filein = "Recordare/partwise/elite.xml"
> fileout = "out.xml"
> main = do 
>   x <- read_FILE read_MusicXMLDoc filein
>   case isOK x of
>       True -> do 
>           time <- getTime
>           let y = update_MusicXMLDoc (["My Software"], time) (fromOK x)
>           show_FILE show_MusicXMLDoc fileout y
>       False -> return ()