No. This was flipped because sequences are covariant, but arguments to function types are contravariant.