:* | 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 |