a missing "[a] -> List a" case in documentation