{"entities":{"Q848745":{"pageid":850593,"ns":120,"title":"Item:Q848745","lastrevid":64805544,"modified":"2026-04-11T22:20:32Z","type":"item","id":"Q848745","labels":{"en":{"language":"en","value":"A principled approach to programming with nested types in Haskell"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5677844"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848745$627CB9C8-C6FC-4EA3-9085-962E5C06D21C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"787963e542c71ee2d0cb2af33ef74aae4bdc1ac6","datavalue":{"value":{"text":"A principled approach to programming with nested types in Haskell","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q848745$E69F8DDA-B817-4F17-B557-E31777D8825D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a2a1b193b23a9466198f85f17a1e8a63cf79fff2","datavalue":{"value":"1183.68141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q848745$5345795B-983E-4C6B-AB0E-12D9A5AFC6BE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"429bcf00dd5802aaa66006839bf4f8c2320a00f8","datavalue":{"value":{"entity-type":"item","numeric-id":673970,"id":"Q673970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848745$1DB83389-55F7-45D6-B665-9AC317F4F64C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b927429827013666616d8874f179818e1bf5b042","datavalue":{"value":{"entity-type":"item","numeric-id":724934,"id":"Q724934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848745$16AA2A71-B7F0-4395-B16A-3D59B6656ACE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"64a3a07e604cd8e480c16efc452d3568f025ae86","datavalue":{"value":{"entity-type":"item","numeric-id":162338,"id":"Q162338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848745$1832E1F4-189F-444E-882C-6384991E94AE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7c918ceca2d8787753ffbdd1e7b50754c8a11e0d","datavalue":{"value":{"time":"+2010-03-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q848745$2FAFB0B1-0EE4-45A6-BA6B-E56736F583D5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q848745$AF05ED5D-E274-438E-A8D9-85F07895AB22","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8a0ecdabce930abf20e82b533e47311e1e791c89","datavalue":{"value":"5677844","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q848745$73EC4B1F-CF89-4F21-A758-789126635C5D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c10fc11a4b547e5a2c84d7551f50b531608bedd","datavalue":{"value":"nested types","type":"string"},"datatype":"string"},"type":"statement","id":"Q848745$533005FD-7F49-4B5A-A4CE-81E585767AF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae973dea0bce1781f54a2b7f8606c1e8a434cfdd","datavalue":{"value":"initial algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q848745$743273C5-16B0-4FE8-8125-5784B333AB40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a72b638570c739847e6f102a448c26279509f34","datavalue":{"value":"structured recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q848745$0D416E02-A57F-4CE1-82F7-CA93E81A7776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92eebb7b2c6a53cf6ac4caed5461c359efa3fa0e","datavalue":{"value":"short cut fusion","type":"string"},"datatype":"string"},"type":"statement","id":"Q848745$B76C18F6-D6C9-4201-B189-774B32FC7D9F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7c08a4a757f89c613a749dcb992596ab6edf6cf0","datavalue":{"value":{"entity-type":"item","numeric-id":21124,"id":"Q21124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848745$B18246B1-7D93-4614-9227-46E839E0945F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848745$7C958273-67CC-4E75-9566-2D2107D0EFD0","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848745$D8C329EE-B3AA-4AD3-BA6B-A56E342C5E4D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"09f8f37a51c66599f2ea806b7bca3612a6865585","datavalue":{"value":"https://doi.org/10.1007/s10990-009-9047-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q848745$2E7D6E1D-08CF-4B2F-9FF9-51C1D9C6D0AA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9c94c1892b37212bbefe03ed89927bce3aea2697","datavalue":{"value":"W2056539427","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q848745$3ABFE424-F568-4F79-B590-473BFE77CDA9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"150719399e882b786834d79969b3d0373e1dfbae","datavalue":{"value":{"entity-type":"item","numeric-id":1770412,"id":"Q1770412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848745$6410F0E1-0DC6-4DAB-B2F8-4672C76C43BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c541a0e0fccb98a32f18a8695d9eabb1926b39f3","datavalue":{"value":{"entity-type":"item","numeric-id":4945244,"id":"Q4945244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848745$336CB5CB-D57D-4933-AC3C-D97007AE5ECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58b0587f95dc3598cec3bf6b609062464bb7985f","datavalue":{"value":{"entity-type":"item","numeric-id":753948,"id":"Q753948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848745$F993A20B-753D-45EE-B2D0-1B021B793B1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a797407b4949355fcd06204fe2bcb7b1218a925","datavalue":{"value":{"entity-type":"item","numeric-id":4256148,"id":"Q4256148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848745$6B09BFA4-8DD0-40C8-B640-4DE9A986F629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a17422820de131ed03dd36bb6484e8aa078aa9e","datavalue":{"value":{"entity-type":"item","numeric-id":1965249,"id":"Q1965249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848745$151F7999-FDC2-4F60-8C74-EB4B05B5352A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0191c8d55bfb13f05e230de930538ee944fa6808","datavalue":{"value":{"entity-type":"item","numeric-id":1336951,"id":"Q1336951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848745$397318F6-70C5-4D3B-9990-6EA83CD78871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89f92e381d678c6d00e16437fa98752bdd883d06","datavalue":{"value":{"entity-type":"item","numeric-id":5464049,"id":"Q5464049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848745$4091D6E6-7001-4DE8-A7F5-507940301A0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3a6359cefb70b772ee42a7b4650ce129fac2699","datavalue":{"value":{"entity-type":"item","numeric-id":2936792,"id":"Q2936792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848745$964FE085-ACEB-49E2-96F1-250A73F49638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e5b45f3cdf2d53f2b50267a8c4a03fe45169539","datavalue":{"value":{"entity-type":"item","numeric-id":3836527,"id":"Q3836527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848745$9F22B9E4-705A-4115-AFFD-DF49BC601953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7fcc769d3d888ffc12188d48d2c4172b02298ca","datavalue":{"value":{"entity-type":"item","numeric-id":4507961,"id":"Q4507961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848745$645AC8BD-DD5B-4D4D-82EA-B2EAD93098E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aead46996b11eca6f30517bf3c4742b8dfb4e376","datavalue":{"value":{"entity-type":"item","numeric-id":5178848,"id":"Q5178848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848745$6790F6A3-BD3C-4F7F-B5D5-9A10745CAC9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4458e2acc36285d2c2c041c9c2f18f4ba318bd9","datavalue":{"value":{"entity-type":"item","numeric-id":2757102,"id":"Q2757102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848745$AD79BF20-C525-41C6-A9BA-6C68C5C42C50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a0848559afeb47684009c1c7b81f9ee863ec72a","datavalue":{"value":{"entity-type":"item","numeric-id":5261279,"id":"Q5261279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848745$B350459C-340B-43ED-9365-3B503713C28B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd7c47b6de4ddb46a855e5259e83e7e909bcaf90","datavalue":{"value":{"entity-type":"item","numeric-id":1870296,"id":"Q1870296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848745$51275673-3A0B-4467-8C23-3C190805DE43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b51be60cee0eb6f5b023d5c08d16239999b302d","datavalue":{"value":{"entity-type":"item","numeric-id":3612632,"id":"Q3612632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848745$D4BB0F6E-99D9-488D-A59E-7BD4A359BABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a252b526bc772a05ed6b396a0ef133a1094504ab","datavalue":{"value":{"entity-type":"item","numeric-id":3189848,"id":"Q3189848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848745$28257295-39E8-46AC-ADD4-E9F26F76D727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bf6e42c7025089ab9d5f372353652344c7dfb4b","datavalue":{"value":{"entity-type":"item","numeric-id":4693151,"id":"Q4693151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848745$34C2B2CE-DCE9-4D85-8D47-FC95E7BC9EAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a19e38fbc8f9f8c11b9ab7ad79f464c27504bd57","datavalue":{"value":{"entity-type":"item","numeric-id":1882785,"id":"Q1882785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848745$8152A312-F643-4BD1-BF7F-3C8E6621C730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3893e24895c818d766b4ac601e2292c1956a8e2a","datavalue":{"value":{"entity-type":"item","numeric-id":4819653,"id":"Q4819653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848745$ACB17B3B-C164-4386-A741-2F2749F3B09E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbac71c6d92500dbf536db2f24add53c05adc73f","datavalue":{"value":{"entity-type":"item","numeric-id":3340118,"id":"Q3340118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848745$6AC98BF0-0302-457B-8DB9-C18BD66A6A58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49a8d50e2ac3112c2b5beab9a321e48e86e40e67","datavalue":{"value":{"entity-type":"item","numeric-id":4702190,"id":"Q4702190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848745$A81011E5-DA01-4426-8218-1246A40E6910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f08d6a93b5519fe40946b3c81233b0a486a55307","datavalue":{"value":{"entity-type":"item","numeric-id":4414308,"id":"Q4414308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848745$A18E084B-8B64-45C6-B24E-DAC44AA1E80E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15630772414b9154dbd1895ba4270ea1ced69347","datavalue":{"value":{"entity-type":"item","numeric-id":4500171,"id":"Q4500171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848745$390EBC80-8437-4B77-8129-7FA03224338F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84b0bf0a090aacf5c8a55e75ccc02e46435ce0e4","datavalue":{"value":{"entity-type":"item","numeric-id":4222926,"id":"Q4222926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848745$00AFA7B2-35D2-426D-AD15-57BED31DED0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25909eb9351cf0344054fe076659323e4a16467f","datavalue":{"value":{"entity-type":"item","numeric-id":4738236,"id":"Q4738236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848745$51704540-9498-4A35-AFE6-2A929289B6D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11369978efa15dc62da89d10bfe437030b4aa86d","datavalue":{"value":{"entity-type":"item","numeric-id":3956379,"id":"Q3956379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848745$BEEDC624-440A-482F-9C76-F52E2E9E6911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1973cb42dae13c11d40464fda9c7ae89dd1360f","datavalue":{"value":{"entity-type":"item","numeric-id":4705620,"id":"Q4705620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848745$0063447D-A58A-416A-BFBC-A84160631E2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0976b9baebcfe9b64ff735439b9a2ee30d9b405","datavalue":{"value":{"entity-type":"item","numeric-id":4939621,"id":"Q4939621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848745$6FFB3898-8B3D-4492-A9BB-51F57D7329ED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7432fad8d9293f8e3da871b3f250c507dab82855","datavalue":{"value":"10.1007/S10990-009-9047-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q848745$AE45944B-C5EE-4D16-992B-D6C32432F826","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e39f75269ef31568b5256ac6fdfc9c88ca0d85c6","datavalue":{"value":{"entity-type":"item","numeric-id":3612632,"id":"Q3612632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bcfd007db892fbcbcd097b1cd231b805e44a79b","datavalue":{"value":{"amount":"+0.9218785762786864","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q848745$8E8EE0D6-B39D-4A10-9725-0BEB4F22DA02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33ce7943a21a23a8d9b0653e2f31b405cdd64ba9","datavalue":{"value":{"entity-type":"item","numeric-id":3836527,"id":"Q3836527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df6d6cd94e8176cede3bd393290af1df32ac3cd2","datavalue":{"value":{"amount":"+0.7797941565513611","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q848745$33D057AC-2455-441B-BDF2-40D33885FEAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7143b5e8110138b76ec32962aa3cfc3673612d9a","datavalue":{"value":{"entity-type":"item","numeric-id":3189848,"id":"Q3189848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf3ed1659db085f42098a510336d00ee6d8b5381","datavalue":{"value":{"amount":"+0.7756625413894653","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q848745$638B3F20-0F36-40D5-81D1-AC9E3B1CD49A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a569434b8d83b9403d8b3de427c891bccd8527a4","datavalue":{"value":{"entity-type":"item","numeric-id":1965249,"id":"Q1965249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f17e04bdd57e0f681c00b5c718fb04e505cf07d7","datavalue":{"value":{"amount":"+0.7745023965835571","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q848745$345BF4D1-9735-4F15-8E4F-F5C5FAA7E2AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d41b9f03876870add070e0f6113b1b0ac957ffbb","datavalue":{"value":{"entity-type":"item","numeric-id":5371955,"id":"Q5371955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed0843fa3b2be0af3b58092b30c641e80c1a020f","datavalue":{"value":{"amount":"+0.7341765761375427","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q848745$7EFE6F27-5041-4C36-B6E6-5DBB01E73C0C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A principled approach to programming with nested types in Haskell","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_principled_approach_to_programming_with_nested_types_in_Haskell"}}}}}