{-# OPTIONS --guardedness --safe #-}

module Cubical.Codata.M.Coalg where

open import Cubical.Codata.M.Coalg.Base public