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