@larsrh Kind *->* subsumes kind +*->*, so F may be covariant, and the caller may know that.