+ Add instances for Read, Show, Eq, Ord, Monoid
+ Document invariants.
~ Full Tip -> Fin
~ Add some other stats.