{"shas":[["8f5468c8d98afb9b1674cb77c952a7d744cf48fe","2805c6bcca2d6ebaa6866198414f584e5372825e@informatik.uni-luebeck.de","Merge remote branch 'origin/type-generation' into type-generation","Sascha Seidel"],["537e6bbd81614362d2897f8370fb2754b80d9d56","2805c6bcca2d6ebaa6866198414f584e5372825e@informatik.uni-luebeck.de","Fixed several bugs in type class generation.","Sascha Seidel"]],"ref":"refs/heads/type-generation","size":2,"head":"537e6bbd81614362d2897f8370fb2754b80d9d56","push_id":43495006}