rewrite : (default : List String) -> 
          (apples : List String) -> 
          (oranges : List String) ->
          (cherries : List String) ->
          (fruit_salad : List String) ->
          (bowl : List String) ->
          List (List String)

rewrite default ([] :: apples) ([] :: oranges) ([] :: cherries) fruit_salad bowl = 
  rewrite default apples oranges cherries ([] :: fruitSalad) bowl

rewrite default apples oranges cherries fruit_salad bowl =
  rewrite
    (  ["add", "apples", "to", "the", "bowl"]
    :: ["add", "oranges", "to", "the", "bowl"]
    :: ["add", "cherries", "to", "the", "bowl"]
    :: default )
    apples oranges cherries fruit_salad bowl

rewrite (["add", x, "to", "the", "bowl"] :: defualt) 
    apples oranges cherries fruit_salad bowl =
  rewrite default apples oranges cherries fruit_salad ([x] :: bowl)

rewrite defualt apples oranges cherries fruit_salad bowl =
  [default, apples, oranges, cherries, fruit_salad, bowl]