On Fri, Oct 28, 2016 at 9:01 AM, Nicolas Ojeda Bar <nicolas.ojeda.bar@lexifi.com> wrote:

One approach is to name the *output* signature of the functors: