A8: Nodes<Defn>  2:1-5:9  A1: TypDefn a  2:1-2:9  A0: NameType b  2:9-2:9 defAt: A3 @ 3:1-3:9  A3: TypDefn b  3:1-3:9  A2: NameType d  3:9-3:9 defAt: A7 @ 5:1-5:9  A5: TypDefn c  4:1-4:9  A4: NameType a  4:9-4:9 defAt: A1 @ 2:1-2:9  A7: TypDefn d  5:1-5:9  A6: NameType a  5:9-5:9 defAt: A1 @ 2:1-2:9