{-# htermination genericIndex :: [b] -> Int -> b #-} import List
content may be truncated. 'popout' for larger text window.