<@U0BHS1Y07>: He's looking for intersection (`val ...
# getting-started
r
@voddan: He's looking for intersection (
val x: A, B
so that
x is A && x is B
)