translate M<A> to Of<M<In>, A>
allow calling Of(TFun)