type foo = u32 resource x type %handle = handle x type some-record = tuple