[Haskell-cafe] Define a data structure of a predicate