{-# OPTIONS --without-K #-}
module Class.MonotonePredicate where

open import Class.MonotonePredicate.Core public