hkd: "higher-kinded data"

This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.


"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]


Versions0.1, 0.1
Dependenciesbase (>=4.6 && <4.14), 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)
CopyrightCopyright (c) 2019 Edward Kmett, 2019 Oleg Grenrus
AuthorEdward Kmett <>
MaintainerOleg Grenrus <>
CategoryData Structures
Home page
Source repositoryhead: git clone
UploadedWed Nov 6 16:53:40 UTC 2019 by phadej




Maintainers' 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