fp_library/
hkt.rs

1//! Higher-kinded types using type-level defunctionalisation based on Yallop
2//! and White's [Lightweight higher-kinded polymorphism](https://www.cl.cam.ac.uk/~jdy22/papers/lightweight-higher-kinded-polymorphism.pdf).
3
4pub mod apply;
5pub mod kinds;
6
7pub use self::apply::*;
8pub use self::kinds::*;