make \&/ covariant