sorted 0.2.0

Provides compile time guarantees for sorted sequences.
Documentation