When working with complex types, I often encounter types like this: It's opaque enough that without understanding all the utils that are used and computing it in the head, it's hard to understand w...