void

fun void(): Ior<A, Unit>