Lazy, type-safe sorted lists