Defines an fmap functor on objects
Impure trace function to debug a composition
fmap function for functors