{"shas":[["e75ad5c60d11bb7ee4866a8002c1d5c11e77feda","21a6cafaf0e9b0080692d699c1538d0dfa42b47a@johan.kiviniemi.name","(->) a instance: both specialized and unspecialized types","Johan Kiviniemi"]],"ref":"refs/heads/master","size":1,"head":"e75ad5c60d11bb7ee4866a8002c1d5c11e77feda","push_id":36807077}