m.parseFunForm
  return $ Atom $ uncurry Predicate args

parseIdentity = do
  left 
parsePred = do
  args <- Term.parseFunForm
  return $ Atom $ uncurry Predicate args
parsePred = do
  args <- Term.parseFunForm
  return $ Atom $ uncurry Predicate args