Move Pretty (Ratio a) instance to Pretty module.
Add mapMonotonic for transforming indexes from one type to another.