module Chapter7.Container.Examples.Main where open import Chapter7.Container.Examples.Nat open import Chapter7.Container.Examples.List open import Chapter7.Container.Examples.Vec