start using a -/-> operator to reduce type variables