Stdlib.Trait.Foldable
Contents
import Stdlib.Trait.Foldable.Polymorphic as Polymorphic public
import Stdlib.Trait.Foldable.Monomorphic open public