Delete deprecated

[isovector]

fuck deprecated code!!

[KingoftheHomeless]

runFixpoint should go too, right?

[isovector]

Yeah, it should, but the comment scared me about how we need the runIdentity bit afterwards.

[isovector]

Can we write a runPure with that is like the new runM in #239 , except specialised to Identity? Then this thing would just work?

[KingoftheHomeless]

Yes. We could implement:

runPure :: Sem '[Final Identity] a -> a
runPure = (runIdentity .) $ usingSem $ \u -> case extract u of
  Weaving (WithWeavingToFinal wav) s wv ex ins ->
    ex <$> wav s (runPure . wv) ex

(Omitted Embed Identity since that effect is pointless)

We can even replace run with it, if we want (although that would cause issues for people that write out their effect stack for some reason).

[KingoftheHomeless]

We had a previous discussion about this when I did the Final rework at polysemy-zoo.
polysemy-research/polysemy-zoo#45 (comment)