An experiment to bring more complex types to ZoKrates with little code duplication and a lot of compile time checks