rzk-0.10.0: test/typecheck/cases/happy-nbe-church-conversion.expect.yaml

status: ok
regression_for:
  - nbe-conversion-fastpath
  - unifyViaDecompose-false-subgoals