module Test exports (..); type Maybe(a) = | Nothing | Just(a); id = fn (a: a): a -> a; update_foo = fn (r: { r | foo: Int }) -> { r | foo = 5 };