Various Idris utility libraries. No guarantees. Some may end up in the stdlib someday, while others may be useless.