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

{-# OPTIONS_HADDOCK not-home #-}

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