{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-}
module Data.Foldable_LHAssumptions where

import GHC.Internal.Data.Foldable_LHAssumptions()