snd -package:termonad -package:linear-base -package:non-empty package:foundation

Class of product types that have a second element