greet <| person::ron 3

; greet : person -> text =
  | #cowboy -> "howdy"
  | #ron n -> "hi " ++ text/repeat n "a" ++ "ron"
  | #friend n -> ("yo" |> list/repeat n |> string/join " ")
  | #stranger "felicia" -> "bye"
  | #stranger name -> "hello " ++ name

; person :
  #cowboy
  #ron int
  #friend int
  #stranger text