tagged-0.0: Provides a newtype wrapper for phantom types to avoid passing dummy arguments
Data.Tagged
Description
newtype Tagged a b Source
Constructors
Fields
Instances
retag :: Tagged f b -> Tagged g bSource