An alpha library for refinement types with rich support for serde| jordankaye.dev
An introduction to typeclass metaprogramming| lexi-lambda.github.io
Types as axioms, or: playing god with static types| lexi-lambda.github.io
