limits need to convey that f is 'Objective' at least. Contravariant as well?