Potential Approaches to Improving Monad Bayes

Possible approaches to optimising effect systems:

• Different effects system - taking a look at the core effect library as a whole
• Different concrete transformers - the effects aren’t disappearing when using monad transformers
  • Effects for Less (Eff library) - Alexis King (Delimited continuations approach)
• Staging
  • Multi-stage Programs In Context - Matthew Pickering, Nicolas Wu, Jamie Willis
  • Selective Staged Parser Combinators - Jamie Willis, Nicolas Wu, Matthew Pickering (optimising parser combinators with staging)
• Codensity transformations
  • Csongor used the codensity transform in his generic deriving paper
• Tagless final style (optimises mtl style?)

Questions we need to ask:

• Can the monad transformer stack be fixed at compile time?