||| Convenience module that re-exports everything.
module Data.Functor.Foldable

import public Data.Functor.Foldable.Mod
import public Data.Functor.Foldable.Exotic
import public Data.Functor.Foldable.Instances
