stripPrefix prefix input strips the
prefix stream
from the
input stream if it is a prefix of input. Returns
Nothing if the input does not start with the given prefix,
stripped input otherwise. Returns
Just nil when the prefix is
the same as the input stream.
Space:
O(1)