I like to annotate types like this where the RHS is a big block.