{-# htermination elemIndex :: (Ratio Int) -> [(Ratio Int)] -> Maybe Int #-} import List