{-# htermination elemIndex :: Bool -> [Bool] -> Maybe Int #-} import List