underlying functors