A follow-up of the how-to guide using generalised auth in Servant with refresh token rotation in a custom JWT authentication scheme.

An exploration of extensibility with object algebras in TypeScript and its relation to visitors and typed tagless final interpreters in Haskell.