snd

Extract the second component of a pair.
Extract the second component of a strict pair.
Extract the second component of a pair.
Lens pointing to the second component of a 2-tuple. (Total and polymorphic)
Extract the snd component of a pair.
Helper function for accessing the second field 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.
Differentiable version of snd