liquidhaskell-0.9.10.1: src/Data/Foldable_LHAssumptions.hs
{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-}
module Data.Foldable_LHAssumptions where
import GHC.Internal.Data.Foldable_LHAssumptions()
{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-}
module Data.Foldable_LHAssumptions where
import GHC.Internal.Data.Foldable_LHAssumptions()