{-# htermination elemIndices :: Float -> [Float] -> [Int] #-} import List