Skipping specified binders in patterns is interpreted as passing a hole

The following test:

skipSpecifiedBinderInPat (Just @_ x) = x
skipSpecifiedBinderInPat Nothing     = 0

Causes the following error:

[IllegalTermError]
      
HWildCard