pattern constructor application to one argument