<@U0B8UEMV1> if your willing to levage type infere...
# announcements
g
@pakoito if your willing to levage type inference you might be able to get away with
Copy code
val union: Disjunction<Int, Union> = 5.left()