slightly more complex spec for ByteString.splitAt needed in Text.Lazy.Encoding