Type level Key-Value list.

This library provides a brief implementation for extensible records.

type-level-kv-list

This library provides a brief implementation for extensible records. It is sensitive to the ordering of key-value items, but has simple type constraints and provides short compile time.