úί–  Type hash.  Type codes. -Turn the type of the value into a type code. -Turn the type of the value into a type hash. 9Is the first type (code) as subtype of the second, i.e., 0 can the first type be converted to the second.      typehash-1.2.0.0 Data.TypeHashTypeHashTypeCodetypeCodetypeHash convertibleTo TypeNameMapField ConstructorTypeDataconstrsNametypeNamegTypegConstr fullTypeOfsubTypesubConstructorsubField