snd -package:Cabal-syntax -package:LambdaHack -package:termonad package:wakame

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