[ [] ]          is queue  (     --> q   )

[ nested join ] is push   ( q x --> q   )

[ behead ]      is pop    (   q --> q x )

[ [] = ]        is empty? (   q --> b   )