I wrote, "But because function types are not also covariant on their return type," but that should have been, "But because function types are also covariant on their return type."