{-# OPTIONS --cubical --rewriting --guarded #-}

open import Later

-- | TODO: everything lol