newtype User = User (String, Int, Bool)

printUser :: User -> String
printUser (User (name, age, isVip)) =
  "name: " ++ name ++ ", age: " ++ show age ++ ", isVip: " ++ show isVip

main :: IO ()
main = do
  let user = User ("Kojo", 20, True)
  putStrLn $ printUser user