DiazCarrete, 21 days 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