You can have a tag so pattern matching can discriminate. You can have new function parameters. You can append to the end of a data structure. All of these wo

You can have a tag so pattern matching can discriminate. You can have new function parameters. You can append to the end of a data structure. All of these would nominally be considered a type signature failure.