 We don't use this; it's just documentation...

dropPrefix p s = if isPrefixOf p s then drop (length p) s else s

dropPrefix p s = if isPrefixOf p s then drop (length p) s else s
dropPrefix p s = if isPrefixOf p s then drop (length p) s else s