+{-# INLINE noCaseEq #-}
+
+-- |@'noCaseEq'' a b@ is a variant of 'noCaseEq' which first checks
+-- the length of two strings to avoid possibly unnecessary comparison.
+noCaseEq' :: String -> String -> Bool
+noCaseEq' a b
+ | length a /= length b = False
+ | otherwise = noCaseEq a b
+{-# INLINE noCaseEq' #-}