List((a @ Extractor((b @ Extractor((c @ _))))))
List((b @ Extractor((c @ _))))
List((c @ _))