{-# OPTIONS --without-K #-}
module Class.Traversable where

open import Class.Traversable.Core public
open import Class.Traversable.Instances public