This typed pattern matching looks beautiful: