Index - :
| :* | Data.Extensible.Internal, Data.Extensible.Product, Data.Extensible.Record, Data.Extensible |
| :> | Data.Extensible.Internal, Data.Extensible.Inclusion, Data.Extensible.Record, Data.Extensible |
| :| | Data.Extensible.Sum, Data.Extensible |
| :~: | Data.Extensible.Internal |