must `cnew` make its type argument implicit?

[affeldt-aist]

monae/hierarchy.v

Line 1169 in fd70c72

crun (m >>= fun x => cnew T2 (s x) >> cget (r x)) ;