tagged-0.7: Haskell 98 phantom types to avoid unsafely passing dummy arguments

Index

asProxyTypeOfData.Proxy
asTaggedTypeOfData.Tagged
Proxy 
1 (Type/Class)Data.Proxy
2 (Data Constructor)Data.Proxy
proxyData.Tagged
reproxyData.Proxy
retagData.Tagged
Tagged 
1 (Type/Class)Data.Tagged
2 (Data Constructor)Data.Tagged
tagSelfData.Tagged
unproxyData.Tagged
untagData.Tagged
unTaggedData.Tagged
untagSelfData.Tagged
witnessData.Tagged