polysemy-0.1.0.0: src/Polysemy/Internal/Fixpoint.hs

module Polysemy.Internal.Fixpoint where

------------------------------------------------------------------------------
-- | An effect for providing 'Control.Monad.Fix.mfix'.
data Fixpoint m a where
  Fixpoint :: (a -> m a) -> Fixpoint m a