!3 Generic types are also retained with the result of an action
^GenericCheck
^GenericObjectFollows
