A prelude extension for Idris. Contains many useful data types and algorithms.