Renamed to 'functor-infix', for consistency with module naming.