fn is_same<N: PartialEq>(x: &N, y: &N) -> bool