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.

[maintain] [Publish]

"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 0.1, 0.1, 0.2, 0.2.1
Change log
Dependencies base (>=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)
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 2019-11-06T16:53:40Z


[Index] [Quick Jump]


Maintainer's Corner

Package maintainers

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