isUpper package:sbv

Is this an upper-case character? Only works for the Latin1 subset, otherwise returns sFalse.
>>> prove $ \c -> sNot (isLowerL1 c .&& isUpperL1 c)
Q.E.D.