Desugaring Haskell’s Do-Notation into Applicative Operations [pdf]research.microsoft.com3 pointsingve10 years ago