Fix the evaluation order of the seq block
Add reversed type classes section
Add headline spacing
Add Eq in terms of Ord
markup
Add AMP merge to timeline
Simplify Nat Ord instance