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]


[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


Versions [RSS] 0.1
Change log
Dependencies base (>=4.6 && <4.17), 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 3 made by phadej at 2022-01-02T18:21:19Z
Category Data Structures
Home page
Source repo head: git clone
Uploaded by phadej at 2019-11-06T17:47:46Z
Distributions NixOS:0.1
Downloads 701 total (22 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2019-11-06 [all 1 reports]

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