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