{"push_id":721741031,"size":1,"distinct_size":1,"ref":"refs/heads/wip/impredicativity","head":"541d037cdd842cf9c50bafeece239862120f07ab","before":"4add25f488504443a45584cc0bd7f9081cb56870","commits":[{"sha":"541d037cdd842cf9c50bafeece239862120f07ab","author":{"email":"53fb370bc461e461badac43531f4ad2e72ce9ab1@gmail.com","name":"Alejandro Serrano"},"message":"Rename InstanceOf to (<=) and implement it as a newtype\n\n- For that, we need to include its name and definition in\n  ghc-prim, PrelName and TysWiredIn.\n- Change the desugaring in DsBinds to generate the corresponding\n  casts from and to (<=) and (->).","distinct":true,"url":"https://api.github.com/repos/ghc/ghc/commits/541d037cdd842cf9c50bafeece239862120f07ab"}]}