tuple-nested-view-patterns.yaml

extensions: [ViewPatterns]
input: |
  (a, fn arg -> Just (v -> t@Nothing), _)
ast: |-
  PTuple [PVar "a", PView (EApp (EVar "fn") (EVar "arg")) (PCon "Just" [PParen (PView (EVar "v") (PAs UnqualifiedName {"t"} (PCon "Nothing" [])))]), PWildcard]
status: pass