DiazCarrete, 1 month ago https://github.com/danidiaz/red-black-record/blob/6c76b56130b0e3bc450563c3f7d98420fc7677b2/lib-dot/TypeLevelRecordDot.hs#L33
https://github.com/danidiaz/red-black-record/blob/6c76b56130b0e3bc450563c3f7d98420fc7677b2/lib-dot/TypeLevelRecordDot.hs#L33