pub fn succ<N>(_: N) -> S<N>