{-# htermination lookup :: (Eq a, Eq k) => (a, k) -> [((a, k),b)] -> Maybe b #-}