------------------------------------------------------------------------
-- The Agda standard library
--
-- This module is DEPRECATED. Please use
-- `Codata.Sized.Colist.Effectful` instead.
------------------------------------------------------------------------

{-# OPTIONS --cubical-compatible --sized-types #-}

module Codata.Sized.Colist.Categorical where

open import Codata.Sized.Colist.Effectful public

{-# WARNING_ON_IMPORT
"Codata.Sized.Colist.Categorical was deprecated in v2.0.
Use Codata.Sized.Colist.Effectful instead."
#-}