stripPrefix prefix stream strips
prefix from
stream if it is a prefix of stream. Returns
Nothing if
the stream does not start with the given prefix, stripped stream
otherwise. Returns
Just nil when the prefix is the same as
the stream.
See also "Streamly.Internal.Data.Stream.IsStream.Nesting.dropPrefix".
Space:
O(1)