provide explicit witnesses that Ran f g and Lan f g should be functors