-- | Given a type of the form
--     term -> term -> ... -> prop,
--   returns the number of "term" occurrences in negative position.
propArity :: A -> Int
propArity (A bindings _) = length bindings
propArity :: A -> Int
propArity (A bindings _) = length bindings
propArity (A bindings _) = length bindings