default-args Apply default arguments to function/constructor This allows creating default value for specified constructor, for example defArgs Left will create Left def.