b9a900e5d2 ^
1 2 3
List((a @ Extractor((b @ Extractor((c @ _)))))) List((b @ Extractor((c @ _)))) List((c @ _))