Biorąc pod uwagę typ egzystencjalny T = ∃X.{op₁:X, op₂:X→boolean} i ten ogólny interfejs Java: interface T<X> { X op₁(); boolean op₂(X something); } Jakie są podstawowe różnice między typem egzystencjalnym a interfejsem Java? Oczywiście istnieją różnice składniowe i orientacja...