Allow extra arguments to be passed to type constructors.