shapeless tuple highlighting error