In that case it would an unnecessary complication, just like the bounded buffer. Because, with the appropriate definition of a function `Deep`, you can as well write
`[A suchthat _:A in {Deep 1#(2#3)#4}] % [1 2 3 4]`