{-# OPTIONS --cubical-compatible #-}
module Class.Traversable where
 
open import Class.Traversable.Core public
open import Class.Traversable.Instances public