purescript

module Main where

import Prelude


type Geo =
  { 
    lat :: Number,
    lon   :: Number
  }

type Address =
  { 
    index :: Int,
    street :: String,
    city   :: String,
    state  :: String
  }

  
data Contact = Email Address | Phone
  
showAddress :: Address -> String
showAddress addr = addr.street <> ", " <>
                   addr.city <> ", " <>
                   addr.state
  


address = {index: 0, street: "123 Fake St.", city: "Faketown", state: "CA" }


convert::Contact -> Int
convert (Email x) = x.index
convert Phone = 1
            
x = convert (Email address)