{-# htermination snd :: (a,b) -> b #-}