module Control.Effect.Newtype
  ( -- * Wrapping
    wrapWith

    -- * Unwrapping
  , EffNewtype(..)
  , WrapperOf(..)

  , unwrap

  , unwrapTop

    -- * Carriers
  , WrapC
  , UnwrapC
  , UnwrapTopC
  ) where

import Control.Effect.Internal.Newtype