Paolo Pantaleo: > and I want to state that the_arg must be only of a certain type > (actually a list). Is there a way to do that? I suggest this very good library, typecheck: http://oakwinter.com/code/typecheck/ Bye, bearophile