How to port an existing Haskell application to a Polysemy-based effect system in small steps.