module Predicate
  ( Predicate(..)
  ) where

import Data.Functor.Contravariant