module Chapter5.Container.Examples.Main where

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