let type t = {int,int} in new t {1,2} end