intersction-types.ts

type Address = {
  street: string
  zipCode: string
}

type Contact = {
  name: string
  phoneNumber: string
  email: string
}

type User = Address & Contact

const printUser = (user: User) => ...

tuples.hs

data Address = Address { street :: String, zipCode :: String }

data Contact = Contact { name :: String, phoneNumber :: String, email :: String }

type User = (Address, Contact)

printUser :: User -> String
printUser (address, contact) =
  let
    Address { street = s, zipCode = z } = address
    Contact { name = n, phoneNumber = p, email = e } = contact
  in
    n ++ ", " ++ p ++ ", " ++ e ++ "\n" ++ s ++ ", " ++ z