:: a -> [(a, b)] -> b package:ghc