tagged-0.1.1: Provides newtype wrappers for phantom types to avoid unsafely passing dummy argumentsContentsIndex
asProxyTypeOf
asTaggedTypeOf
Proxy
1 (Type/Class)
2 (Data Constructor)
proxy
reproxy
retag
Tagged
1 (Type/Class)
2 (Data Constructor)
tagSelf
unproxy
untag
unTagged
untagSelf