notes for functor
with my own comments