Core Types Journeys
Three journeys that build from the Kind<F, A> encoding up through typed error handling to advanced patterns. Work them in order for a gradual ramp, or jump to whichever matches your immediate need.
| Journey | Focus | Duration | Exercises |
|---|---|---|---|
| Foundations | HKT simulation, Functor, Applicative, Monad | ~40 min | 24 |
| Error Handling | MonadError, concrete types, real-world patterns | ~30 min | 20 |
| Advanced | Natural Transformations, Coyoneda, Free Applicative | ~40 min | 26 |
Next: Foundations