Haskell 98 phantom types to avoid unsafely passing dummy arguments http://github.com/ekmett/tagged

Version on this page:
LTS Haskell 9.14:0.8.5
Stackage Nightly 2017-11-24:0.8.5
Latest on Hackage:0.8.5
BSD3 licensed by Edward A. Kmett
Maintained by Edward A. Kmett

Module documentation for

There are no documented modules for this package.


Hackage Build Status

Values carrying an extra phantom type tag.



  • 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
Used by 192 packages:
adjunctions, aeson, aeson-compat, Agata, algebra, amazonka-core, ansi-pretty, ariadne, avro, aws, backprop, beam, bifunctors, binary-orphans, binary-tagged, bitcoin-payment-channel, bitmaps, boring, cipher-aes128, clientsession, clifford, cognimeta-utils, comonad, composite-aeson, computational-algebra, ConcurrentUtils, constrained-categories, CoreFoundation, crypto-api, cryptohash-cryptoapi, crypto-totp, data-diverse, data-diverse-lens, data-fin, data-timeout, diagrams-lib, dictionaries, distributive, DRBG, DSA, dynamic-plot, dynamodb-simple, enumerable, esqueleto, ether, existential, explicit-iomodes, extended-categories, extensible, feldspar-language, fixed-precision, fixed-storable-array, flowdock-rest, generic-aeson, getopt-generics, gipeda, git-gpush, gitlib, gitlib-cmdline, gitlib-libgit2, gitlib-test, gitlib-utils, git-monitor, global, gridfs, haiji, halberd, hask, haskell-packages, HaskRel, hcltest, hdo, hdr-histogram, HList, hobbits, hPDB, hreader, hset, hs-gen-iface, hsqml, hsqml-morris, hstorchat, hstox, hyperloglog, ide-backend, ide-backend-common, imm, indices, intel-aes, invariant, iridium, isobmff-builder, iterable, javaclass, jbi, jsonschema-gen, json-sop, kan-extensions, lattices, lazy-hash, lens, linear, linearmap-category, linear-opengl, lmonad-yesod, manifolds, manifolds-core, mediabus, mediabus-fdk-aac, mediabus-rtp, monadcryptorandom, mongoDB, mtl-unleashed, multistate, neko-lib, nettle, network-dns, network-msgpack-rpc, np-linear, one-liner, openpgp-crypto-api, open-typerep, pathtype, perdure, persistent, persistent-template, pg-store, pointed, pretty-types, product-profunctors, profunctors, proxy-kindness, pureMD5, quickcheck-instances, raketka, record-gl, reflection-extras, regex-do, rlwe-challenges, roots, schematic, search, semigroupoids, semigroups, servant, servant-auth-cookie, servant-auth-server, servant-checked-exceptions, servant-server, serversession-backend-persistent, serversession-backend-redis, serv-wai, sexp-grammar, shapely-data, skein, stack-prism, storable-static-array, string-class, sunroof-compiler, sunroof-server, superconstraints, tagged-th, tagged-transformer, target, tasty, tasty-ant-xml, tasty-dejafu, tasty-expected-failure, tasty-fail-fast, tasty-golden, tasty-hedgehog, tasty-hspec, tasty-html, tasty-quickcheck, tasty-rerun, tasty-silver, tasty-smallcheck, tasty-stats, tdd-util, text-show, text-show-instances, threefish, time-http, tree-diff, Twofish, typeparams, uberlast, union, vinyl-gl, xxhash, yesod-auth-account-fork, yesod-platform
comments powered byDisqus