:: a -> [(a, b)] -> b package:prelude-compat