Peng Zang wrote:
> Is there some simple trick people have found for specifying various type 
> constraints on arguments?

How about something like:
let takesomefooable_and_barable x =
	ignore(lazy(x#foo));
	ignore(lazy(x#bar));
	x

E