let foo = 1

in  λ(bar : Integer) →
      let exposePort =
            λ(portSpec : { ext : Integer, int : Integer }) →
              Integer/show portSpec.ext ++ ":" ++ Integer/show portSpec.int

      in  let exposeSamePort =
                λ(port : Integer) → exposePort { ext = port, int = port }

          in  { blah = bar }