interface
Functor01<A>
Functor02<R,A>
Functor1$10<R,A,B,C,D,E,F,G,H,I,J>
Functor10<R>
Functor11<R,A>
Functor12<R,A,B>