{-# OPTIONS --guardedness #-}

module Cubical.Codata.M.Coalg where

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