This is only temporal and demonstrates the fact that multi-argument
functors are implementable. In the future this will be replaced by a
more general polynomial functor, but the parsing infrastructure for
functor expressions can't handle that yet.