| :> | Type.Membership.Internal, Type.Membership |
| :~: | Type.Membership.Internal |
| :~~: | Type.Membership.Internal |
| == | Type.Membership.Internal |
| >: | Type.Membership.Internal, Type.Membership |
| apply | Type.Membership.Internal |
| asProxyTypeOf | Type.Membership.Internal |
| Assoc | Type.Membership.Internal, Type.Membership |
| association | Type.Membership.Internal, Type.Membership |
| castWith | Type.Membership.Internal |
| compareMembership | Type.Membership.Internal, Type.Membership |
| Duplicate | Type.Membership.Internal |
| Elaborate | Type.Membership.Internal |
| Elaborated | Type.Membership.Internal |
| Expecting | Type.Membership.Internal |
| FindAssoc | Type.Membership.Internal |
| FindType | Type.Membership.Internal |
| Forall | Type.Membership |
| ForallF | Type.Membership |
| gcastWith | Type.Membership.Internal |
| Generate | Type.Membership |
| getMemberId | Type.Membership.Internal, Type.Membership |
| HCons | Type.Membership.Internal, Type.Membership.HList |
| hcount | Type.Membership |
| henumerate | Type.Membership |
| henumerateFor | Type.Membership |
| hfoldrWithIndex | Type.Membership.Internal, Type.Membership.HList |
| hgenerateList | Type.Membership |
| hgenerateListFor | Type.Membership |
| hindex | Type.Membership.HList |
| hlength | Type.Membership.HList |
| HList | Type.Membership.Internal, Type.Membership.HList |
| HNil | Type.Membership.Internal, Type.Membership.HList |
| HRefl | Type.Membership.Internal |
| htraverse | Type.Membership.HList |
| htraverseWithIndex | Type.Membership.Internal, Type.Membership.HList |
| impossibleMembership | Type.Membership.Internal, Type.Membership |
| inner | Type.Membership.Internal |
| KeyIs | Type.Membership |
| KeyOf | Type.Membership |
| KeyTargetAre | Type.Membership |
| KProxy | |
| 1 (Data Constructor) | Type.Membership.Internal |
| 2 (Type/Class) | Type.Membership.Internal |
| leadership | Type.Membership.Internal, Type.Membership |
| Lookup | Type.Membership.Internal, Type.Membership |
| Member | Type.Membership.Internal, Type.Membership |
| Membership | Type.Membership.Internal, Type.Membership |
| membership | Type.Membership.Internal |
| Missing | Type.Membership.Internal |
| mkMembership | Type.Membership.Internal, Type.Membership |
| nextMembership | Type.Membership.Internal, Type.Membership |
| outer | Type.Membership.Internal |
| Proxy | |
| 1 (Data Constructor) | Type.Membership.Internal, Type.Membership |
| 2 (Type/Class) | Type.Membership.Internal, Type.Membership |
| proxyKeyOf | Type.Membership |
| proxyTargetOf | Type.Membership |
| Refl | Type.Membership.Internal |
| reifyMembership | Type.Membership.Internal, Type.Membership |
| stringKeyOf | Type.Membership |
| sym | Type.Membership.Internal |
| TargetIs | Type.Membership |
| TargetOf | Type.Membership |
| TestEquality | Type.Membership.Internal |
| testEquality | Type.Membership.Internal |
| testMembership | Type.Membership.Internal, Type.Membership |
| trans | Type.Membership.Internal |
| ~~ | Type.Membership.Internal |
| ∈ | Type.Membership.Internal |