Revision history for dependent-monoidal-map