mkPrimOp :: String -> [Term] -> Term
mkPrimOp x = RawApp (Var (Name x)) . fmap paren
mkPrimOp :: String -> [Term] -> Term
mkPrimOp x = RawApp (Var (Name x)) . fmap paren
mkPrimOp x = RawApp (Var (Name x)) . fmap paren