JavaPatternMatching/test/plugindevelopment/MartinTestCases/jav/Lambda_usecases/Matrix_lambda.jav

import java.util.Vector;

class Matrix extends Vector<Vector<Integer>> {
	<NJ, NI extends NJ, AG extends NI> Fun1<Fun1<NJ, ? extends Fun2< TPH AG, Matrix, TPH IM >>, Matrix> op = (Matrix m) -> (f) -> f.apply(this, m); 
}