Type → Type → _@1