{"entities":{"Q40297":{"pageid":40353,"ns":120,"title":"Item:Q40297","lastrevid":105426965,"modified":"2026-10-09T10:06:32Z","type":"item","id":"Q40297","labels":{"en":{"language":"en","value":"Monomorphic Monad"}},"descriptions":{"en":{"language":"en","value":"AFP entry Monomorphic_Monad"}},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"b04c6cd48242890fc058df6f49957bd33d47665d","datavalue":{"value":"28583","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40297$0467D1E0-7A4E-4DE9-BA0B-64D6EB71C98C","rank":"normal"}],"P286":[{"mainsnak":{"snaktype":"value","property":"P286","hash":"0f45fffafcc32cf0fe287c9157913431abb6fb7c","datavalue":{"value":{"entity-type":"item","numeric-id":5915785,"id":"Q5915785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40297$D04F46B2-7327-4D18-A38C-19168DD66254","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40297$B16DC43D-5041-4742-9323-62C26FB3B1F7","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"2399c51cb32d497a374dce1d15d8919ac7353f92","datavalue":{"value":"https://www.isa-afp.org/entries/Monomorphic_Monad.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40297$06A78096-743F-4516-A983-94D7F775B207","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40297$7EF6506C-B22D-4B83-900A-E37A88317BFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40297$56455446-3672-49DE-B792-BCEB6CBB276A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ccfc2ffdb7a60cd36d8dca0a4e6d9d45f5228f3","datavalue":{"value":"3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40297$7D06B19C-3FA8-4521-ADB9-DE30EC8C064F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f5e0c6033338f59ef27e37d6877da0f26d9646","datavalue":{"value":"68.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40297$5EF68360-F3C7-4217-93FE-57B87B043E07","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40297$A51DAADB-46BD-40A1-ABF0-BD0F2BA4C316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f70e8f897325b539c702d8d7cb97dfafe554224c","datavalue":{"value":{"entity-type":"item","numeric-id":32823,"id":"Q32823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40297$C6D7CC44-131F-4111-AA4E-210C6037E6C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9ad8338290e864661fc95f2a66261cf7e07a407c","datavalue":{"value":{"entity-type":"item","numeric-id":32822,"id":"Q32822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40297$C27D211C-BAA2-4DEB-B9CD-11ECDCCAD4A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4eea1e5549472c93f3282a38917960fdec6b61a1","datavalue":{"value":{"entity-type":"item","numeric-id":24733,"id":"Q24733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40297$4D9A1786-8E47-4A70-85F9-C90A9B4C1497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"244ebbac6461f60bed6d50e50ce8194b0e233968","datavalue":{"value":{"entity-type":"item","numeric-id":40296,"id":"Q40296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40297$1E7F515A-6A7D-49E2-A3FA-AD088991A9B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b49b6cd0d730920a3a4cd5d33a24263cc6515903","datavalue":{"value":{"entity-type":"item","numeric-id":43940,"id":"Q43940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40297$2D61A3DF-D6EF-4783-B77B-21070489F0E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ed15eb8701a335444fde1bcc3327d1067ce64751","datavalue":{"value":{"entity-type":"item","numeric-id":24376,"id":"Q24376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40297$4BD1FC0C-9D6A-43D1-A224-7D6FA2D8DA9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc41d9364226bfa8139f8dbc43b1b77967245f13","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40297$48D88BB4-C608-4F35-9314-FE6C9A6DFC6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"dfc100badd4cdc392e79a96a751c1c9d9c33f22f","datavalue":{"value":{"entity-type":"item","numeric-id":40628,"id":"Q40628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40297$118972B6-77A2-4F14-A3C6-4227ED40BE09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb05cb23794774f62a8e4aa4de610af231973a1d","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40297$88738E02-A52D-4B75-9892-9691F55A5933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2f0eb5498f624eca19e760cd08d6ae2738f933e4","datavalue":{"value":{"entity-type":"item","numeric-id":40251,"id":"Q40251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40297$500724C1-2DF9-4700-A17D-B7581B39ABBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb9d0b444ac2b7d2a2816ca0499933a8ff9209c0","datavalue":{"value":{"entity-type":"item","numeric-id":1350644,"id":"Q1350644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40297$20AA1020-E445-43FC-96CF-E56C0821A012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a181f338c33718bdd78df79d3406ecd15bfe476c","datavalue":{"value":{"entity-type":"item","numeric-id":37009,"id":"Q37009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40297$30793189-0E0A-4B00-BAE5-C1BFCD5D9BB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"da71442535724374fba994798fe2e776a105b283","datavalue":{"value":{"entity-type":"item","numeric-id":40255,"id":"Q40255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40297$42CA2A69-C530-4ACC-912D-8E1D0B6A51C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"914c9c33527696be944efdfa1211e2c8f38443d9","datavalue":{"value":{"entity-type":"item","numeric-id":18673,"id":"Q18673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40297$DA774160-6960-446A-8DF0-029FA470CE62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"3a073d1e3162db58b1a890386d8dbe9eebb4637c","datavalue":{"value":{"entity-type":"item","numeric-id":40373,"id":"Q40373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40297$0763D8AE-0F46-4C0E-A34C-9E10EB917062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e2deb6bf1d4c2d4a91e6bd25d48cab95bae8848d","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40297$00B680EF-750E-4E56-A465-EE1A2F0A41DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ecda3e6d8e971c0b93d4cf3afb41990e853f830f","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40297$A7487B75-8C35-472B-9FED-F79357CB31CF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0303c233600536b6e2c534e31af858b0676c87b1","datavalue":{"value":"https://isa-afp.org/entries/Monomorphic_Monad.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40297$2FB36E69-59F8-420D-884E-3E33EACE9EA8","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"480a99c095fd0e6e30ce40dd951da46a627a2bb9","datavalue":{"value":"Andreas Lochbihler","type":"string"},"datatype":"string"},"type":"statement","id":"Q40297$8D09282C-ED0B-4A2A-86D4-3BB39E6E6D52","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b5a577cf771cea9556b17d987bb88799d5dcd589","datavalue":{"value":"The notion of a monad cannot be expressed within higher-order logic (HOL) due to type system restrictions. We show that if a monad is used with values of only one type, this notion can be formalised in HOL. Based on this idea, we develop a library of effect specifications and implementations of monads and monad transformers. Hence, we can abstract over the concrete monad in HOL definitions and thus use the same definition for different (combinations of) effects. We illustrate the usefulness of effect polymorphism with a monadic interpreter for a simple language.","type":"string"},"datatype":"string"},"type":"statement","id":"Q40297$5601A51E-2C6D-4222-9412-A8AE74517DDD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2521123b5dbe8709daed0db214711d9c66f9f8cf","datavalue":{"value":{"time":"+2017-05-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":"Q40297$2BFF29DF-77B1-4627-9A72-8A9A1430F8C2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1264f6dc006aaebab1a951171f9e56d9b7c868e2","datavalue":{"value":{"text":"Effect polymorphism in higher-order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q40297$17FFEA9A-F07D-402A-B4CF-0534F28AA008","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40297$959B1C13-16FD-4B9E-8A28-3F52347F3AD4","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"eff161b7dcf55a20ec4d840b7f18d4148cc115e3","datavalue":{"value":{"entity-type":"item","numeric-id":7360789,"id":"Q7360789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40297$6CC54091-2B4F-48BF-9616-0B4D955E9F32","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Monomorphic Monad","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Monomorphic_Monad"}}}}}