Filled a hole in pattern-matching