module Foldr where

import Language.Haskell.Liquid.Prelude
import Data.List (foldl')

foo ::  a -> b -> c -> d
foo = \_ _ _ -> unsafeError "False" 

bar ::  p -> [(q, r)] -> p
bar = foldr (\(k, v) -> foo k v)