{-# htermination lookup :: Bool -> [(Bool,b)] -> Maybe b #-}