import OCI.Pass.Manager
import Data.TypeDesc

-- === Definition === --

newtype UnresolvedConses = UnresolvedConses [Expr Cons]
newtype NegativeConses   = NegativeConses [Expr Cons]
makeLenses ''UnresolvedConses