Defunctionalisation of higher-order functions and higher-kinded types in TypeScript

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