libusb binding for idris and Effectful USB programming - View it on GitHub