[
  (circuit)
  (module)
  (when)
  (else)
] @fold
