snd -package:Cabal-syntax -package:LambdaHack -package:base-prelude package:dimensional

Extract the second component of a pair.