[
  (type_definition)
  (protocol_definition)
  (request_block)
  (response_block)
] @fold