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.