Pi, Sigma, forall, thereexists are better as objects than enriched methods