some quick libraries for Idris that I found usefull in Coq