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