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