let type r = {} type a = array of cow type x = {a,r} in expseq end