A family of combinators for defining webservices APIs| Hackage
Names are not type safety| lexi-lambda.github.io
Types as axioms, or: playing god with static types| lexi-lambda.github.io
Parse, don’t validate| lexi-lambda.github.io
