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

module Data.Tuple where

open import Data.Tuple.Base public