{"shas":[["bc7e4ba0d34bf9e05e5be6671eebc5719e6b262d","948002417ef7d02349dad15dc602b95c5985a281@gmail.com","Updated to GADTs.","Nis Wegmann"]],"ref":"refs/heads/master","size":1,"head":"bc7e4ba0d34bf9e05e5be6671eebc5719e6b262d","push_id":40655934}