A collection of functions and modules that may or may not be useful for programming in Idris.