`String :% [String] r` seems not to be a valid Haskell.