Up
–
Functor2
»
X
» 1-Y
Parameter
X.1-Y
type
t