Fix Trac #4498: bang-pattern bindings are monomorphic