In this this should be an Idris binding for libSodium.