udatera nintambwe wa murezi we the curry howard correspondence relates a constructivist form of disjunction to tagged union types wanting to leave they start building an escape raft wari urengeje umuvuduko sibyo