version bump to 4.0.1 for the increased bound on contravariant