package com.acme.javaInterop; import java.util.ArrayList; import church.lang.ByteStream; import church.lang.operators.Streams.$$encode; import church.primitives.Objects; import static church.lang.operators.Streams.output; @SuppressWarnings("unchecked") public class MethodCallExamples { private static final $$encode<ByteStream, String> $S0 = Objects::$encode; public static void main(String[] args) { ArrayList<String> l = new ArrayList<>(); int i = l.size(); boolean k1 = l.add("Hello"); boolean k2 = l.add("world!"); String e0 = l.get(0); $S0.$encode($S0.$encode($S0.$encode(output, "l = "), l.toString()), "\n"); } }