Re: #4189: Add (<.>) operator (generalizing (.) to Functor)