{-# htermination genericLength :: [b] -> (Ratio Int) #-} import List