------------------------------------------------------------------------
-- The Agda standard library
--
-- This module duplicates `Category.Monad.Partiality`
-- for forward compatibility with v2.0.
------------------------------------------------------------------------

{-# OPTIONS --cubical-compatible --safe --guardedness #-}

module Effect.Monad.Partiality where

open import Category.Monad.Partiality public