The goal was not really to test the Nil type, I just didn't have a better idea for a test about AnyType subtyping