"Here, the type signature for b mentions A. But A is a pattern" . . . .