An HTTP library for Idris.