Resolved to:
0: T : A