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