I've started using the Unsigned features of 1.3-M1 but have come across an edge case I'm not quite sure I understand since it works in other cases where generics are used