composing natural with dinatural transformations