finish writing up example of non-analytic functor
add a note