let d_conc a = 
  match d_interp a with
    | Some(Conc(n,m), [x;y]) -> Some(n,m,x,y)
    | _ -> None