Dear all, (How) Can I perform an instantiation of a type-constructor with two arguments, an thereby restricting them to be the same? Concrete problem: instantiation "fun" (type, type) power begin .... end but I want only to raise functions of type 'a => 'a to powers. Thank you for any hint! best wishes, Amine.