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]


Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


Versions [RSS] 0.1, 0.2, 0.2.1
Change log
Dependencies base (>=4.6 && <4.20), semigroups (>=0.18.5 && <1), some (>= && <1.1), tagged (>=0.8.5 && <1), transformers (>=0.3 && <0.7) [details]
License (BSD-2-Clause OR Apache-2.0)
Copyright Copyright (c) 2019 Edward Kmett, 2019 Oleg Grenrus
Author Edward Kmett <>
Maintainer Oleg Grenrus <>
Category Data Structures
Home page
Source repo head: git clone
Uploaded by phadej at 2023-10-15T16:54:36Z
Distributions NixOS:0.2.1
Reverse Dependencies 1 direct, 0 indirect [details]
Downloads 1135 total (19 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2023-10-15 [all 1 reports]

Readme for hkd-0.2.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