{-# OPTIONS --cubical --safe #-}

module Relation.Nullary where