<a1 → a1>
<(a1 → a2) × List(a1) → List(a2)>
<List(List(a6)) → List(List(a6))>
