@Proof(Subtyping)
inline fun <A> A.first(): Union4<A, Any?, Any?, Any?>
p
pakoito
12/08/2019, 12:35 PM
why any and not Nothing?
r
raulraja
12/08/2019, 12:44 PM
I have inverted the runtime as encoded in Arrow to make it leaners so there is a single interface and single inline class. Nothing in a proof position is assignable to unions that would have included types not in the unions based on this encoding