snd -package:linear-base

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.
Returns second element of tuple type (with kind *) or type-level tuple (with kind (k1, k2), marked by prefix quote).
>>> :kind! Maybe (Snd '(Int, Text))
Maybe (Snd '(Int, Text)) :: *
= Maybe Text

>>> :kind! Maybe (Snd (Int, Text))
Maybe (Snd (Int, Text)) :: *
= Maybe Text
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