3:6-8 TTypeSynonym "T1"
3:11-14 TTypeConstructor "Int"
3:18-21 TTypeConstructor "Int"
4:6-8 TTypeSynonym "T2"
4:18-19 TTypeVariable "a"
4:21-22 TTypeVariable "a"
4:26-27 TTypeVariable "a"
5:1-3 TFunction "f1"
5:7-9 TTypeSynonym "T1"
6:1-3 TFunction "f1"
6:4-5 TVariable "x"
6:8-9 TVariable "x"
7:1-3 TFunction "f2"
7:7-9 TTypeSynonym "T2"
8:1-3 TFunction "f2"
8:4-5 TVariable "x"
8:8-9 TVariable "x"
