Re: [GHC] #13826: :t Predicate (length :: [] -> Int)