servant

This article describes the design and implementation of a type-safe role-based authorization system on top of the servant-auth library in Haskell, enabling distinct handlers for each role with compile-time checks.