disallow specifying default value or same check function twice