[STATEMENT]
lemma curry_preserves_morphisms:
  assumes "f \<in> X \<Otimes>\<^sub>Q Y \<rightarrow>\<^sub>Q Z"
  shows "curry f \<in> X \<rightarrow>\<^sub>Q exp_qbs Y Z"
[PROOF STATE]
proof (prove)
goal (1 subgoal):
 1. curry f \<in> X \<rightarrow>\<^sub>Q Y \<Rightarrow>\<^sub>Q Z
[PROOF STEP]
by(rule qbs_morphismE(2)[OF curry_morphism,simplified,OF assms])