{-# htermination findIndices :: (a -> Bool) -> [a] -> [Int] #-}
import List