A higher kinded type is a concept that reifies a type constructor as an actual type.
A type constructor can be thought of in these analogies:
- like a function in the type universe
- as a type with a "hole" in it
Miroslav Kovar mirgee
CMCDragonkai
/ higher_kinded_types_in_rust_and_haskell.md
Last active
April 15, 2024 16:50
Rust/Haskell: Higher-Kinded Types (HKT)