Index
| asProxyTypeOf | Data.Proxy |
| asTaggedTypeOf | Data.Tagged |
| Proxy | |
| 1 (Type/Class) | Data.Proxy |
| 2 (Data Constructor) | Data.Proxy |
| proxy | Data.Tagged |
| reproxy | Data.Proxy |
| retag | Data.Tagged |
| Tagged | |
| 1 (Type/Class) | Data.Tagged |
| 2 (Data Constructor) | Data.Tagged |
| tagSelf | Data.Tagged |
| unproxy | Data.Tagged |
| untag | Data.Tagged |
| unTagged | Data.Tagged |
| untagSelf | Data.Tagged |
| witness | Data.Tagged |