-- Definice datového typu Auto
data Auto = Auto {
    znacka :: String,
    model :: String,
    rokVyroby :: Int
} deriving (Show)
-- Funkce pro zobrazení informací o autě
zobrazInfo :: Auto -> IO ()
zobrazInfo auto = do
    putStrLn $ "Znacka: " ++ znacka auto
    putStrLn $ "Model: " ++ model auto
    putStrLn $ "Rok vyroby: " ++ show (rokVyroby auto)
-- Vytvoření instance Auto a zobrazení informací
main :: IO ()
main = do
    let mojeAuto = Auto "Toyota" "Corolla" 2020
    zobrazInfo(mojeAuto)