module container.w where

open import container.w.core public
open import container.w.algebra public
open import container.w.fibration public