Diagram-like instances for Measured.