Skipping specified-forall in patterns throws an Ilegal-term error

skipSpecifiedBinderInPat (Just @_ x) = x

Causes the following type error:

[IllegalTermError]
                  
HWildCard         

The implementation is completely correct. We need a new rule like I-SkipSpecified.