Substitutor: <map substitutor: {S = T}>
Substituted callables:
  foo(): T