Type Inference Failing.dart

typedef T2 Foo2<T1, T2>(T1);
typedef T3 Foo3<T1, T2, T3>(T1, T2);

class Bar<A> {
  final List<A> outer;
  Bar(this.outer);
  
  void run<B, C, D>(
    List<B> inner,
    Foo2<A, C> outerSelector,
    Foo2<B, C> innerSelector,
    Foo3<A, B, D> resultSelector,
  ) {
    // This should print:
    // [Person, Pet, String, Map<String, String>]
    print([A, B, C, D]);
    
    // This should print:
    // List<Person>, List<Pet>, (Person) => String, (Pet) => String, (Person, Pet) => Map<String, String>
    print([outer.runtimeType, inner.runtimeType, outerSelector.runtimeType, innerSelector.runtimeType, resultSelector.runtimeType]);
  }
}

class Person {
  final String name;
  Person(this.name);
}

class Pet {
  final String name;
  final String owner;
  Pet(this.name, this.owner);
}

main() {
  final people = [
    Person('Travis'),
    Person('Terry'),
    Person('Charlotte'),
    Person('Benny'),
  ];
  
  final pets = [
    Pet('Barley', 'Terry'),
    Pet('Boots', 'Terry'),
    Pet('Whiskers', 'Charlotte'),
    Pet('Daisy', 'Benny'),
  ];
  
  Bar(people).run(
    pets,
    (person) => person.name,
    (pet) => pet.name,
    (person, pet) => { 'person': person.name, 'pet': pet.name },
  );
}