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 Constructors {
    private static final $$encode<ByteStream, String> $S0 = Objects::$encode;

    public static void main(String[] args) {
        String s1 = new ArrayList<>().toString();
        $S0.$encode($S0.$encode($S0.$encode(output, "s1 = "), s1), "\n");
    }

}