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