type foo = u32 resource x type "handle" = handle x type some_record = tuple