#!/bin/env kkc
#$ Anonymous record polymorphically turns to anonymous record.
# 420

fn uni(l a, r a)
	pass

fn what(r)
	uni(r, { x: 1 })
	return r

m = what({ x: 420 }) as { x I32 }
m.x println()