snd -package:termonad -package:LambdaHack -package:cabal-install-solver package:strict-base-types

Extract the second component of a strict pair.