[ Data.Peano ] s/Zero/Z and s/Succ/S.