{"push_id":576854147,"size":1,"distinct_size":1,"ref":"refs/heads/wip/generics-propeq-conservative","head":"adc24a40c88f54763f03787b3c45fedd666b952d","before":"4d90e44101559800947ce3cd7fd8704dc520b332","commits":[{"sha":"adc24a40c88f54763f03787b3c45fedd666b952d","author":{"email":"7e4a75484f483b5dcc54ee90b277f9fe0a200086@gmail.com","name":"Gabor Greif"},"message":"Datatypes are reflected in Constructors now, adapt test output","distinct":true,"url":"https://api.github.com/repos/ghc/ghc/commits/adc24a40c88f54763f03787b3c45fedd666b952d"}]}