--5.16

snd :: (a,b) -> b

sing :: a -> [a]