import Data.Functor.Foldable
import Data.Functor.Foldable.TH