Weaken types for IO methods (for example, you can use GString as path).