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