snd -package:singletons -package:extra -package:relude

Extract the second component of a pair.
Extract the second component of a strict pair.
Second of a tuple
Extract the second component of a pair.
Helper function for accessing the second field of a Pair
Extract the snd component of a pair.
Project the second component of a type-level tuple.
>>> :kind! Snd '(Bool, Char)
Snd '(Bool, Char) :: *
= Char
Take the second item out of a 3 element tuple
Differentiable version of snd