{-# htermination elemIndex :: Eq a => a -> [a] -> Maybe Int #-} import List