{-# OPTIONS --cubical --safe --exact-split #-}

module Everything where