BSD-3-Clause licensed by Edward A. Kmett
Maintained by Edward A. Kmett
This version can be pinned in stack with:tagged-0.8.8@sha256:9193defbde3dda997236ccc11a1db3e073cc531fe523e13e9659df776feb0b32,2732

Module documentation for 0.8.8


Hackage Build Status

Values carrying an extra phantom type tag.


0.8.8 [2023.08.08]

  • Allow building with GHC 9.8.

0.8.7 [2023.02.18]

  • Define Foldable1 and Bifoldable1 instances for Tagged. These instances were originally defined in the semigroupoids library, and they have now been migrated to tagged as a side effect of adapting to this Core Libraries Proposal, which adds Foldable1 and Bifoldable1 to base. [2020.12.28]

  • Mark all modules as explicitly Safe or Trustworthy.

0.8.6 [2018.07.02]

  • Make the Read(1) instances for Proxy ignore the precedence argument, mirroring similar changes to base here.
  • Fix a bug in the Floating instance for Tagged in which logBase was defined in terms of (**).
  • Avoid incurring some dependencies when using recent GHCs.


  • Support Data.Bifoldable/Data.Bitraversable in base for GHC 8.1+.
  • Backport the Eq1, Ord1, Read1, and Show1 instances for Proxy from base-4.9
  • Add Eq1/2, Ord1/2, Read1/2, and Show1/2 instances for Tagged


  • Backport the Alternative, MonadPlus, and MonadZip instances for Proxy from base-4.9
  • Add Bits, FiniteBits, IsString, and Storable instances for Tagged


  • Manual Generic1 support to work around a bug in GHC 7.6
  • Invert the dependency to supply the Semigroup instance ourselves when building on GHC 8


  • deepseq support.
  • Widened template-haskell dependency bounds.


  • Add KProxy to the backwards compatibility Data.Proxy module.
  • Add a Generic instance to Proxy.

  • Fix builds on GHC 7.4.


  • Added Data.Proxy.TH, based on the code from Frames by Anthony Cowley.
  • Removed reproxy from Data.Proxy. This is a bad API decision, but it isn’t present in GHC’s Data.Proxy, and this makes the API more stable.


  • Support Data.Bifunctor in base for GHC 7.9+.


  • Fixed warning on GHC 7.8


  • Added tagWith.


  • Data.Proxy has moved into base as of GHC 7.7 for use in the new Data.Typeable. We no longer export it for GHC >= 7.7. The most notable change in the module from the migration into base is the loss of the reproxy function.


  • Allowed polymorphic arguments where possible.


  • Needlessly claim that this entirely pure package is Trustworthy!


  • On GHC 7.7, we now still export the instances we used to for Data.Proxy.Proxy as orphans if need be.


  • On GHC 7.7 we now simply export Data.Typeable.Proxy rather than make our own type. We still re-export it.


  • Added witness


  • Actually working polymorphic kind support


  • Added polymorphic kind support