Plan 9 from Bell Labs’s /usr/web/sources/contrib/fernan/nhc98/src/prelude/List/GenericLength.hs
module List where genericLength :: (Integral i) => [b] -> i genericLength [] = 0 genericLength (_:l) = 1 + genericLength l