{-# OPTIONS --safe #-}
module Data.Maybe where

open import Data.Maybe.Base       public
open import Data.Maybe.Path       public
open import Data.Maybe.Properties public

open import Data.Maybe.Instances.Everything  public
