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