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

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

open import Data.Sum.Instances.Everything public
