shapeless cross crossVersion