Here's one of the papers referenced in the article on the subject of monadic reification. The article referred to what seems to be a paywalled journal, but the

Here's one of the papers referenced in the article on the subject of monadic reification. The article referred to what seems to be a paywalled journal, but the authors of the paper have made it freely available on their own site: http://www.cse.chalmers.se/%7Ejoels/writing/bb.pdf http://www.cse.chalmers.se/%7Ejoels/writing/bb.pdf I haven't finished it, but it seems approachable so far.