{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:20Z","timestamp":1772164040231,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":12,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,9,17]],"date-time":"2018-09-17T00:00:00Z","timestamp":1537142400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,9,17]]},"DOI":"10.1145\/3242744.3242746","type":"proceedings-article","created":{"date-parts":[[2018,9,18]],"date-time":"2018-09-18T08:11:39Z","timestamp":1537258299000},"page":"55-67","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":11,"title":["Deriving via: or, how to turn hand-written instances into an anti-pattern"],"prefix":"10.1145","author":[{"given":"Baldur","family":"Bl\u00f6ndal","sequence":"first","affiliation":[{"name":"n.n., n.n."}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andres","family":"L\u00f6h","sequence":"additional","affiliation":[{"name":"Well-Typed, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ryan","family":"Scott","sequence":"additional","affiliation":[{"name":"Indiana University at Bloomington, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,9,17]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2628136.2628141"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086365.1086397"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351266"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2633628.2633634"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3236799"},{"key":"e_1_3_2_1_7_1","volume-title":"Proceedings of the 25th European Symposium on Programming Languages and Systems -","volume":"9632","author":"Eisenberg Richard A.","unstructured":"Richard A. Eisenberg , Stephanie Weirich , and Hamidhasan G. Ahmed . 2016. Visible Type Application . In Proceedings of the 25th European Symposium on Programming Languages and Systems - Volume 9632 . Springer-Verlag New York, Inc., New York, NY, USA, 229\u2013254. Richard A. Eisenberg, Stephanie Weirich, and Hamidhasan G. Ahmed. 2016. Visible Type Application. In Proceedings of the 25th European Symposium on Programming Languages and Systems - Volume 9632 . Springer-Verlag New York, Inc., New York, NY, USA, 229\u2013254."},{"key":"e_1_3_2_1_8_1","unstructured":"Conal Elliott. 2009. applicative-numbers: Applicative-based numeric instances. https:\/\/hackage.haskell.org\/package\/applicative-numbers  Conal Elliott. 2009. applicative-numbers: Applicative-based numeric instances. https:\/\/hackage.haskell.org\/package\/applicative-numbers"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796809007291"},{"key":"e_1_3_2_1_10_1","unstructured":"Gabriel Gonzalez. 2014. Equational reasoning at scale. http:\/\/www. haskellforall.com\/2014\/07\/equational-reasoning-at-scale.html  Gabriel Gonzalez. 2014. Equational reasoning at scale. http:\/\/www. haskellforall.com\/2014\/07\/equational-reasoning-at-scale.html"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1863523.1863529"},{"key":"e_1_3_2_1_12_1","volume-title":"Riedel and David Luposchainsky","author":"Herbert","year":"2015","unstructured":"Herbert V. Riedel and David Luposchainsky . 2015 . Monad of no return Proposal (MRP): Moving return out of Monad . https:\/\/mail.haskell. org\/pipermail\/libraries\/2015-September\/026121.html Herbert V. Riedel and David Luposchainsky. 2015. Monad of no return Proposal (MRP): Moving return out of Monad. https:\/\/mail.haskell. org\/pipermail\/libraries\/2015-September\/026121.html"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103786.2103795"}],"event":{"name":"ICFP '18: 23nd ACM SIGPLAN International Conference on Functional Programming","location":"St. Louis MO USA","acronym":"ICFP '18","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3242744.3242746","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3242744.3242746","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:57:22Z","timestamp":1750193842000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3242744.3242746"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9,17]]},"references-count":12,"alternative-id":["10.1145\/3242744.3242746","10.1145\/3242744"],"URL":"https:\/\/doi.org\/10.1145\/3242744.3242746","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3299711.3242746","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2018,9,17]]},"assertion":[{"value":"2018-09-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}