Yes - it causes `newparam` to add a `replace?` method (in this particluar case) to the type class.  From what I can tell that can't be done from the parameter's parent class.