snd -package:singletons -package:linear-base -package:termonad package:wakame

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