Basic HList tests Key 42 Name "Angus" Cow Price 75.5 H[Key 42, Name "Angus", Cow, Price 75.5, Key 42, Name "Angus", Cow, Price 75.5] testHArray H[Key 42] H[Key 42, Name "Angus"] H[Key 42, Name "Angus"] H[Name "Angus", Cow, Price 75.5] (H[Key 42, Name "Angus"],H[Cow, Price 75.5]) testHOccurs Cow 1 True H[Key 42, Name "Angus"] testTypeIndexed H[Key 42, Cow, Price 75.5] H[BSE, Key 42, Name "Angus", Cow, Price 75.5] H[Key 42, Sheep, Price 75.5] H[BSE, Key 42, Name "Angus", Price 75.5] H[Cow] (H[Cow],H[Key 42, Name "Angus", Price 75.5]) testTuple (2,False) (1,False) True 2 2 testTIP Cow TIPH[BSE, Key 42, Name "Angus", Cow, Price 75.5] TIPH[Sheep, Key 42, Name "Angus", Price 75.5] TIPH[Key 42, Name "Angus", Sheep, Price 75.5] testRecords Record{key=42,name="Angus",breed=Cow} Cow Record{key=42,name="Angus"} Record{key=42,name="Angus",breed=Sheep} Record{price=8.8,key=42,name="Angus",breed=Cow} Record{price=8.8,breed=Cow} testTIC Just Cow Nothing