Polymorphs now work on "Either" types, too