Functor representing unit object
If your going to take o functor represented by some object, consider the properties of the one represented by the unit object
If your going to take o functor represented by some object, consider the properties of the one represented by the unit object