§9.3.(b) Only first parameter

Currently only the first parameter of a class may be a value parameter. This restriction may be removed in the future.