class ToJava[t: Type]
A trait for marshaling values to Java.
type O: Type
def toJava(t: t): O[t] \ IO with ToJava[t]