{"push_id":570358537,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"1ae767d662efc3e2289323cc4e857a284c961b07","before":"c3add324aeaa46e2b495b62a92dbf285b3c9a989","commits":[{"sha":"1ae767d662efc3e2289323cc4e857a284c961b07","author":{"email":"0e18f44c1fec03ec4083422cb58ba6a09ac4fb2a@well-typed.com","name":"Adam Gundry"},"message":"Make Base a type family rather than a promoted constructor\n\nThis means that `a :: k -> Unit` is always uninhabited, so we needn't\nworry about subsequently instantiating `a` with `Base`.  On the other\nhand, it means that\n\n    type instance MkUnit \"s\" = Base \"s\"\n\nnow requires UndecidableInstances, and that we can't make Unpack\nclosed (at least until Trac #9840 is fixed).","distinct":true,"url":"https://api.github.com/repos/adamgundry/uom-plugin/commits/1ae767d662efc3e2289323cc4e857a284c961b07"}]}