Fist example of the changed type for the open generic type error. More comprehensive tests, with message-checking, follow below.