Allow type signatures in pattern guards.