dropPrefix :: [Char] -> [Char] -> [Char]
dropPrefix pre str=
    case pre `List.stripPrefix` str of
     Just (n:ns) -> toLower n : ns
     _ -> error "prefix now found"
dropPrefix :: [Char] -> [Char] -> [Char]
dropPrefix pre str=
    case pre `List.stripPrefix` str of
     Just (n:ns) -> toLower n : ns
     _ -> error "prefix now found"
dropPrefix pre str=
    case pre `List.stripPrefix` str of
     Just (n:ns) -> toLower n : ns
     _ -> error "prefix now found"