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