# Pastebin EfDQZZrS
fun f(x: (U32 | (String & Foo) | None)): String =>
  match x
  | let y: (String & Foo) => "a string foo " + y
  | let y: U32 => "a u32 " + y.string()
  | None => "none"
  end