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