A functional programming library for Rust featuring your favourite higher-kinded types and type classes.
- Lightweight higher-kinded polymorphism
- Typeclassopedia
- Lean Mathlib Prelude
- PureScript Pursuit
- Haskell base package Prelude
- PureScript Typeclass Hierarchy
- Where to find theoretical background (i.e., resources) behind PureScript classes?
- Counterexamples of Type Classes
- Haskell semigroupoids package
- Why not Pointed?
- Pluggable lifetimes