A partial implementation of Protocol Buffers in Idris - View it on GitHub