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