snd -package:singletons -package:vector-space package:wakame

>>> :kind! Snd '(Bool, Char)
Snd '(Bool, Char) :: *
= Char