Implement some operation on natural transformations