module Chapter7.Container.Examples.Main where

open import Chapter7.Container.Examples.Nat
open import Chapter7.Container.Examples.List
open import Chapter7.Container.Examples.Vec