hkd: "higher-kinded data"

[ data-structures, library ] [ Propose Tags ]

"Higher-kinded data" utilities, e.g.

class FFunctor t where
    ffmap :: (f ~> g) -> t f -> t g

and other classes and types.

Note: this package is experimental.

[Skip to Readme]
Versions [faq] 0.1
Change log
Dependencies base (>=4.6 && <4.16), semigroups (>=0.18.5 && <1), some (>= && <1.1), tagged (>=0.8.5 && <1), transformers (>=0.3 && <0.6) [details]
License (BSD-2-Clause OR Apache-2.0)
Copyright Copyright (c) 2019 Edward Kmett, 2019 Oleg Grenrus
Author Edward Kmett <>
Maintainer Oleg Grenrus <>
Revised Revision 2 made by phadej at 2021-02-20T21:52:10Z
Category Data Structures
Home page
Source repo head: git clone
Uploaded by phadej at 2019-11-06T17:47:46Z
Distributions NixOS:0.1
Downloads 347 total (19 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs available [build log]
Last success reported on 2019-11-06 [all 1 reports]


[Index] [Quick Jump]


Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.

Maintainer's Corner

For package maintainers and hackage trustees

Readme for hkd-0.1

[back to package description]



This package provides some types and utilities for working with the "higher-kinded data" pattern in Haskell.

Contact Information

Contributions and bug reports are welcome!

Please feel free to contact me through github or on the #haskell IRC channel on

-Edward Kmett