5:13-18 TTypeFamily "XList"
5:19-20 TTypeVariable "a"
8:15-20 TTypeFamily "XList"
8:21-25 TTypeConstructor "Char"
8:28-33 TDataConstructor "XCons"
8:35-39 TTypeConstructor "Char"
8:42-47 TTypeFamily "XList"
8:48-52 TTypeConstructor "Char"
8:56-60 TDataConstructor "XNil"
11:15-20 TTypeFamily "XList"
11:26-35 TDataConstructor "XListUnit"
11:37-40 TTypeConstructor "Int"