Indexed functors and all manner of variants.