with record type I would associate a type-safe key-value structure. Maybe tuple-like instead?