{-#
OPTIONS
--safe
#-}
module
Cubical.Codata.EverythingSafe
where