```haskell PBuiltinPair foo _ <- pmatch myPair foo ``` should be legal and compile to the same code as ```haskell pfstBuiltin # myPair ``` i.e. not call `psndBuiltin` and vice versa