http-kinder (hackage): Kind-safe framework for type-safe APIs
Keywords: bsd3|library|web