5:6-9 TTypeConstructor "Lam"
6:3-7 TDataConstructor "Lift"
6:11-12 TTypeVariable "a"
6:36-39 TTypeConstructor "Lam"
6:40-41 TTypeVariable "a"
7:3-6 TDataConstructor "Lam"
7:12-15 TTypeConstructor "Lam"
7:16-17 TTypeVariable "a"
7:21-24 TTypeConstructor "Lam"
7:25-26 TTypeVariable "b"
7:36-39 TTypeConstructor "Lam"
7:41-42 TTypeVariable "a"
7:46-47 TTypeVariable "b"
