snd -package:singletons -package:strict-base-types -package:base-compat-batteries package:wakame

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