snd -package:linear-base -package:strict-base-types -package:relude

Extract the second component of a pair.
Extract the second component of a strict pair.
Extract the second component of a pair.
Extract the snd component of a pair.
Project the second component of a type-level tuple.
Type-level variant of snd.
>>> :kind! Snd '(Bool, Char)
Snd '(Bool, Char) :: *
= Char
Extract the snd of a triple.
Take the second item out of a 3 element tuple
Project the second element out of a dependent pair.
Differentiable version of snd
Returns the second value of a triple.