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

module Data.Maybe where

open import Data.Maybe.Base public