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

open import Class.Foldable.Core public
open import Class.Foldable.Instances public