Abstrakt. Tvåvägsomvandlingar (bx) har i första hand modellerats som rena funktioner, och tar inte hänsyn till möjligheten av sidoeffekter som finns tillgängliga i de flesta programmeringsspråk. Nyligen har flera formuleringar av bx som använder monader för att redogöra för effekter föreslagits, både bland praktiker och inom akademisk forskning. Kombinationen av bx och effekter visar sig vara förvånansvärt subtil, vilket leder till problem med några av dessa förslag och ökar komplexiteten hos andra. I detta dokument granskas förslagen till monadiska linser hittills, och vissa förbättrade definitioner ges, med särskild uppmärksamhet på hindren för att naivt lägga till monadiska effekter till befintliga definitioner av ren bx, såsom linser och symmetriska linser, och subtiliteterna i ekvivalensen av symmetriska dubbelriktade transformationer i närvaro av effekter.
Arbetet med monadiska linser REF undersöker linser med effekter.