When [
  (Case
     (Deposit
        (Role "Ada provider")
        (Role "Ada provider")
        (Token "" "")
        (AddValue
           (Constant 1000000)
           (ConstantParam "Amount of lovelace")))
     (When [
        (Case
           (Deposit
              (Role "Dollar provider")
              (Role "Dollar provider")
              (Token "85bb65" "dollar")
              (ConstantParam "Amount of dollars"))
           (Pay
              (Role "Ada provider")
              (Party
                 (Role "Dollar provider"))
              (Token "" "")
              (NegValue (Constant 11))
              (Pay
                 (Role "Dollar provider")
                 (Party
                    (Role "Ada provider"))
                 (Token "85bb65" "dollar")
                 (ConstantParam "Amount of dollars") Close)))] (TimeParam "Timeout for dollar deposit") Close))] (TimeParam "Timeout for Ada deposit") Close