add exlanation about composed functors as functors