{- | Provides a type-level Dsl for refinement types To use refinement types you will need to also import 'Predicate.Refined' and/or 'Predicate.Refined3' -} module Predicate ( module Predicate.Core , module Predicate.Prelude , module Predicate.Util ) where import Predicate.Core import Predicate.Util import Predicate.Prelude