1:8-17 TModule "TFunction"
3:1-2 TFunction "f"
3:13-14 TTypeVariable "a"
3:16-17 TTypeVariable "a"
3:21-22 TTypeVariable "a"
4:1-2 TFunction "f"
4:3-4 TVariable "x"
4:7-8 TVariable "x"
6:1-2 TVariable "x"
6:6-7 TTypeVariable "a"
7:1-2 TVariable "x"
7:5-14 TVariable "undefined"
