type-level-kv-list (hackage): This library provides a brief implementation for extensible records.
Keywords: data|library|mit