fst package:wakame

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