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

[Sara Kenedy]

Hello you all,

I am a newbie in Haskell. Now I am working on datatype structure of
Haskell, especially on predicate. Today I try to search on Internet to
find the reference document but I did not find the specific. If any of
you know how to define a data structure for the abstract syntax of
predicate logicI , for example : x^2 + 3*x + 2 > 0, if you don't mind,
please share with me.

Thanks in advance.