snd -package:singletons -package:invertible -package:quickcheck-state-machine package:foundation

Class of product types that have a second element