{-# OPTIONS --cubical --safe --without-K #-}
module Publication where